Search Results - Hájek, Petr

Filter by
  1. 1
    Cover Image

    Metamathematics of first-order arithmetic
    by Hájek, Petr

    Published 2016
    Read online
    eBook


    Saved in:
  2. 2
    Cover Image

    Metamathematics of first-order arithmetic
    by Hájek, Petr 1940-, Pudlák, Pavel

    Published 1993
    Table of Contents
    Book


    Saved in:
  3. 3
    Cover Image

    Uncertain information processing in expert systems
    by Hájek, Petr 1940-, Havránek, Tomáš, Jiroušek, Radim

    Published 1992
    Book


    Saved in:
  4. 4
    Cover Image

    Metamathematics of Fuzzy Logic
    by Hájek, Petr

    Published 1998
    Read online
    Electronic eBook


    Saved in:
  5. 5
    Cover Image

    The theory of semisets
    by Vopěnka, Petr, Hájek, Petr 1940-

    Published 1972
    Book


    Saved in:
  6. 6
    Cover Image

    Metamathematics of fuzzy logic
    by Hájek, Petr 1940-

    Published 1998
    Book


    Saved in:
  7. 7
    Cover Image

    Mechanizing hypothesis formation: mathematical foundations for a general theory
    by Hájek, Petr 1940-, Havránek, Tomáš

    Published 1978
    Table of Contents
    Book


    Saved in:
  8. 8
    Cover Image

    Mechanizing Hypothesis Formation: Mathematical Foundations for a General Theory
    by Hájek, Petr

    Published 1978
    Read online
    Electronic eBook


    Saved in:
  9. 9
    Cover Image

    Gödel '96: logical foundations of mathematics, computer science, and physics--Kurt Gödel's legacy

    Published 2016
    Other Authors: “…Hájek, Petr…”
    Read online
    Conference Proceedings eBook


    Saved in:
  10. 10
    Cover Image

    Logic Colloquium '98: proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998

    Published 2016
    Other Authors: “…Hájek, Petr…”
    Read online
    Conference Proceedings eBook


    Saved in:
  11. 11
    Cover Image

    Metamathematics of first-order arithmetic
    by Hájek, Petr, Pudlák, Pavel 1952-

    Published 2016
    Read online (BSB)

    Library Card of Bavarian State Library (BSB) necessary.

    Order via interlibrary loan
    Electronic eBook


    Saved in:
  12. 12
    Cover Image

    Smooth analysis in Banach spaces
    by Hájek, Petr

    Published 2014
    Read online (LMU)

    Available at the library of LMU.

    Order via interlibrary loan
    Electronic eBook


    Saved in:
  13. 13
    Cover Image

    Areál snů
    by Hájek, Petr

    Published 1980
    Order via interlibrary loan
    Book


    Saved in:
  14. 14
    Cover Image

    Halelujá!
    by Hájek, Petr

    Published 1977
    Order via interlibrary loan
    Book


    Saved in:
  15. 15
    Cover Image

    Balada čislo jedna
    by Hájek, Petr

    Published 1975
    Order via interlibrary loan
    Book


    Saved in:
  16. 16
    Cover Image

    Metamathematics of first order arithmetic
    by Hájek, Petr 1940-, Pudlák, Pavel

    Published 1993
    Order via interlibrary loan
    Book


    Saved in:
  17. 17
    Cover Image

    Svět je na rozvod
    by Hájek, Petr

    Published 1990
    Order via interlibrary loan
    Book


    Saved in:
  18. 18
    Cover Image

    Václav Klaus narovinu: hovory V. K. s Petrem Hájkem nejen o tom, co bylo, je a bude
    by Klaus, Václav 1941-, Hájek, Petr

    Published 2001
    Table of Contents
    Order via interlibrary loan
    Book


    Saved in:
  19. 19
    Cover Image

    Metamathematics of first order arithmetic
    by Hájek, Petr 1940-, Pudlák, Pavel

    Published 1998
    Table of Contents
    Order via interlibrary loan
    Book


    Saved in:
  20. 20
    Cover Image

    Smooth analysis in Banach spaces
    by Hájek, Petr 1940-, Johanis, Michal

    Published 2014
    Table of Contents
    Order via interlibrary loan
    Book


    Saved in:

Search Tools: