Search results
- The axiomatic method with special reference to geometry and physics : proceedings of an international symposium held at the University of California, Berkeley, December 26, 1957-January 4, 1958 / edited by Leon Henkin, Patrick Suppes, Alfred Tarski. Amsterdam : North-Holland Publishing Company, 1959 . xi, 488 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci Z 0 0 0 1 0 0 
book
- Axiomatic set theory / Paul Bernays with a historical introduction by Abraham A. Fraenkel. Amsterdam : North-Holland Publishing Company, 1958 . viii, 226 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci Z 0 0 0 1 0 0 book
- Constructivism in mathematics : an introduction. Volume I / A.S. Troelstra, D. van Dalen. Amsterdam : Elsevier, 1988 . xx, 342 stran, xiv
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book
- Constructivism in mathematics : an introduction. Volume II / A.S. Troelstra, D. van Dalen. Amsterdam : Elsevier, 1988 . xvii, strana 345-879, lii
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book
- Handbook of computability theory / edited by Edward R. Griffor. Amsterdam : Elsevier, 1999 . xii, 727 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 0 0 0 book
- Lectures on the Curry-Howard isomorphism / Morten Heine Sørensen, Paweł Urzyczyn. Amsterdam ; Oxford : Elsevier, 2006 . xiv, 442 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book
- Many-valued logics / J. Barkley Rosser, Atwell R. Turquette. Amsterdam : North-Holland Publishing Company, 1958 . 124 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci Z 0 0 0 1 0 0 book
- Model theory / C.C. Chang and H.J. Keisler. Amsterdam : North-Holland, 1977 . xii, 554 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 0 0 0 book
- Residuated lattices : an algebraic glimpse at substructural logics / Nikolaos Galatos ... [et al.]. Amsterdam : Elsevier, 2007 . xxi, 509 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 4 0 0 book
- Set theory : an introduction to independence proofs / Kenneth Kunen. Amsterdam : Elsevier, [1980] ©1980 . xvi, 313 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book