Výsledky vyhledávání
- A course in model theory / Katrin Tent, Martin Ziegler. Cambridge : Cambridge University Press, 2012 ©2012 . x, 248 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 1 0 0 - Logical foundations of proof complexity / Stephen Cook, Phuong Nguyen. New York NY : Cambridge University Press, 2014 . xv, 479 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 - Sets, models and recursion theory : proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965 / edited by John N. Crossley. Amsterdam : North-Holland Publishing Company, 1967 . 331 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci Z 0 0 0 1 0 0 - Subsystems of second order arithmetic / Stephen G. Simpson. Cambridge : Cambridge University Press, 2009 ©2009 . xvi, 444 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 2 0 0