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 (4)

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

This page was built for publication: Course of mathematical logic. Vol. 1: Relation and logical formula. Translation edited by David Louvish