scientific article; zbMATH DE number 3528456
From MaRDI portal
Publication:4106721
zbMath0338.18002MaRDI QIDQ4106721
Publication date: 1975
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Model theory (03C99) Special categories (18B99) Intermediate logics (03B55) Categoricity and completeness of theories (03C35) Foundations, relations to logic and deductive systems (18A15)
Related Items (6)
Contribution to the study of the natural number object in elementary topoi ⋮ From types to sets ⋮ Intuitionist type theory and the free topos ⋮ Unnamed Item ⋮ Connected components and colimits ⋮ On conceptual completeness of syntactic-semantical systems
This page was built for publication:
