scientific article
From MaRDI portal
Publication:3718676
zbMath0591.03001MaRDI QIDQ3718676
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) Classical propositional logic (03B05)
Related Items (5)
Local theory of sets as a foundation for category theory and its connection with the Zermelo-Fraenkel set theory ⋮ Characterization of model Mirimanov-von Neumann cumulative sets ⋮ Deterministic organization of index-based numerical parallel processing ⋮ Inherited extension of many-sorted theories ⋮ Finite axiomatizability of local set theory
This page was built for publication:
