Vyhledávat v databázi titulů je možné dle ISBN, ISSN, EAN, č. ČNB, OCLC či vlastního identifikátoru. Vyhledávat lze i v databázi autorů dle id autority či jména.
Projekt ObalkyKnih.cz sdružuje různé zdroje informací o knížkách do jedné, snadno použitelné webové služby. Naše databáze v tuto chvíli obsahuje 3150311 obálek a 950589 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
A course in model theory : an introduction to contemporary mathematical logic
Autor: Poizat, Bruno.
Rok: 2000.
ISBN: 9780387986555
OKCZID: 110043231
Citace (dle ČSN ISO 690):
POIZAT, Bruno. A course in model theory: an introduction to contemporary mathematical logic. Překlad Moses. KLEIN. New York: Springer-Verlag, 2000. xxxi, 443 s. Universitext.
Anotace
This book, translated from the French, is an introduction to first-order model theory. The first six chapters are very basic: starting from scratch, they quickly reach the essential, namely, the back-and-forth method and compactness, which are illustrated with examples taken from algebra. The next chapter introduces logic via the study of the models of arithmetic, and the following is a combinatorial tool-box preparing for the chapters on saturated and prime models. The last ten chapters form a rather complete but nevertheless accessible exposition of stability theory, which is the core of the subject.