scientific article; zbMATH DE number 3536075
From MaRDI portal
Publication:4111556
zbMath0344.02042MaRDI QIDQ4111556
Publication date: 1974
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other algebras related to logic (03G25) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Foundations, relations to logic and deductive systems (18A15)
Related Items
Dimension of Boolean valued lattices and rings, Construction of a monadic Heyting algebra in a logos, Generalized algebraic theories and contextual categories, Logic in Category Theory, Unnamed Item, Linear algebra in a local ringed site, Unnamed Item, Rings, fields, and spectra, Topos Theory in Montréal in the 1970s: My Personal Involvement
