Search results
- A course in model theory : an introduction to contemporary mathematical logic / Bruno Poizat ; translated by Moses Klein. New York ; Berlin ; Heidelberg : Springer Verlag, c2000 . xxxi, 443 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci CMTF 0 0 0 1 0 0 PRF 2 0 0 1 0 0 book
- Finite model theory / Heinz-Dieter Ebbinghaus, Jörg Flum. Berlin : Springer, 1999 . xiii, 360 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book
- The search for mathematical roots, 1870-1940 : logics, set theories and the foundations of mathematics from Cantor through Russel to Gödel / I. Grattan-Guinness. Princeton ; Oxford : Princeton University Press, 2000c . xiv, 690 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 
book