Sets, models and proofs
Auteur :
Moerdijk, Ieke / van Oosten, Jaap
Éditeur :
Springer International Publishing AG
ISBN :
9783319924137
Date de publication :
6 déc. 2018
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This textbook provides a concise and self-contained introduction to mathematical logic, with a focus on the fundamental topics in first-order logic and model theory.