Search results
- Algebraic methods in philosophical logic / J. Michael Dunn and Gary M. Hardegree. Oxford : Oxford University Press, c2001 . xv, 470 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci CMTF 0 0 0 1 0 0 book
- Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajíček. Oxford : Clarendon Press, 1993 . xii, 428 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 0 0 0 book
- Cantorian set theory and limitation of size / Michael Hallett. Oxford : Clarendon Press, c1984 Oxford : Clarendon Press, [1984] ©1984 . xxii, 343 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci CMTF 0 0 0 1 0 0 PRF 0 0 0 1 0 0 book
- Category theory / Steve Awodey. Oxford ; New York, N.Y. : Oxford University Press, c2010 . xv, 311 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 6 0 0 book
- Fibring logics / Dov M. Gabbay. Oxford : Clarendon Press, 1999 . xiii, 475 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 2 0 0 book
- Foundations without foundationalism : a case for second-order logic / Stewart Shapiro. Oxford : Oxford University Press, Clarendon Press ; 2002 . xxii, 277 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 
book
- Labelled deductive systems. Volume 1 / Dov M. Gabbay. Oxford : Clarendom Press, 1996 . xiii, 497 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 1 0 0 book
- Model theory / María Manzano ; translated by Ruy J.G.B. de Queiroz. Oxford : Clarendon Press, [1999] ©1999 . xxiii, 239 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book
- Sketches of an elephant : a topos theory compendium. Volume 1 / Peter T. Johnstone. Oxford : Clarendon Press, 2002 . xxii, 467, 71 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book
- A study of logics / John P. Cleave. Oxford : Clarendon Press, c1991 . xiii, 417 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci CMTF 0 0 0 1 0 0 book