Výsledky vyhledávání

  1. 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
    CMTF000100
  2. 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
    PRF000100
  3. 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
    CMTF000100
    PRF000100
  4. 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
    PRF000400
  5. 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
    PRF100200
  6. 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
    PRF000100
  7. 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
    PRF100100
  8. 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
    PRF000100
  9. 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
    PRF000100
  10. 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
    CMTF000100