Výsledky vyhledávání
- Database repairing and consistent query answering / Leopoldo Bertossi. [San Rafael, Calif.] : Morgan & Claypool, c2011 . xiv, 105 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 2 0 0 - Mathematical logic : a course with exercises. Part I, Propositional calculus, Boolean algebras, predicate calculus / René Cori and Daniel Lascar ; translated by Donald H. Pelletier. Oxford : Oxford University Press, 2000 . xix, 338 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 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