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 (9)
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
This page was built for publication: