Course of mathematical logic. Vol. 1: Relation and logical formula. Translation edited by David Louvish

zbMath0262.02001MaRDI QIDQ2560797

Roland Fraïssé

Publication date: 1973

Published in: Synthese Library (Search for Journal in Brave)

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) General logic (03Bxx) Model theory (03Cxx)

Related Items

Interval decomposition lattices are balanced, An analysis of fixed-point queries on binary trees, Finite-model theory -- A personal perspective, Extending partial isomorphisms and McAlister's covering theorem