Search results
- 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 
book
- First-order logic / Raymond M. Smullyan. New York : Dover Publications, Inc., 1995 . xii, 158 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 1 0 0 book
- Logic and structure / Dirk van Dalen. Berlin ; Heidelberg ; New York : Springer, 1997 . x, 217 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book
- 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 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