Course of mathematical logic. Vol. 1: Relation and logical formula. Translation edited by David Louvish
From MaRDI portal
Publication:2560797
zbMath0262.02001MaRDI QIDQ2560797
Publication date: 1973
Published in: Synthese Library (Search for Journal in Brave)
03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
03Bxx: General logic
03Cxx: Model theory
Related Items
Interval decomposition lattices are balanced, Finite-model theory -- A personal perspective, An analysis of fixed-point queries on binary trees, Extending partial isomorphisms and McAlister's covering theorem