scientific article; zbMATH DE number 3304001
From MaRDI portal
Publication:5585364
zbMath0191.28205MaRDI QIDQ5585364
Publication date: 1968
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02)
Related Items
Logic in Category Theory ⋮ On a synonymy relation for extensional first order theories. I: A notion of synonymy ⋮ Per una teoria delle classi comunque grandi ⋮ Covers for monoids. ⋮ Map theory ⋮ The Versatility of Universality inPrincipia Mathematica ⋮ Universal algebra in higher types ⋮ A logical framework for large file information handling ⋮ On the possibility of a Σ21well-ordering of the Baire space ⋮ Adverbs and events ⋮ About the axiomatizations of fuzzy set theory ⋮ Big mathematical systems ⋮ A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic ⋮ Equational type logic ⋮ Nonreflexive, well founded sets and natural numbers ⋮ Combinatorial computation of combinatorial formulas for knot invariants ⋮ Notes on the theory of variable binding term operators ⋮ A model for science kinematics