Search results
- 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 
book
- 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 book
- Mathematical logic / by Joseph R. Shoenfield. Natick, MA : A K Peters, 2001 . vii, 344 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 2 0 0 2 0 0 book
- 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 book