Mathematical logic. An introduction to model theory. Edited by H. B. Enderton
From MaRDI portal
Publication:1247953
zbMath0382.03002MaRDI QIDQ1247953
Publication date: 1978
Published in: Mathematical Concepts and Methods in Science and Engineering (Search for Journal in Brave)
Model theory (03C99) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) Classical propositional logic (03B05) Axiomatics of classical set theory and its fragments (03E30) Nonstandard models in mathematics (03H05) Categoricity and completeness of theories (03C35)
Related Items (2)
The logical representation of extensive games ⋮ Dialectical Contradictions and Classical Formal Logic
This page was built for publication: Mathematical logic. An introduction to model theory. Edited by H. B. Enderton
