A Course in Model Theory: An Introduction to Contemporary Mathematical Logic
Bruno Poizat
Translated from the French, this book is an introduction to first-order model theory. Starting from scratch, it quickly reaches the essentials, namely, the back-and-forth method and compactness, which are illustrated with examples taken from algebra. It also introduces logic via the study of the models of arithmetic, and it gives complete but accessible exposition of stability theory.
Kateqoriyalar:
İl:
2000
Nəşr:
1
Nəşriyyat:
Springer
Dil:
english
Səhifələr:
476
ISBN 10:
0387986553
ISBN 13:
9780387986555
Seriyalar:
Universitext
Fayl:
PDF, 35.37 MB
IPFS:
,
english, 2000
Müəllif hüququ sahibinin şikayəti səbəbindən bu kitabı yükləmək mümkün deyil