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

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