Search Results - Pudlák, Pavel

  • Showing 1 – 14 results of 14
Filter by
  1. 1
    Cover Image

    A lattice of chapters of mathematics: interpretations between theorems
    by Mycielski, Jan 1932-, Pudlák, Pavel, Stern, Alan S.

    Published 1990
    Book


    Saved in:
  2. 2
    Cover Image

    Logical foundations of mathematics and computational complexity: a gentle introduction
    by Pudlák, Pavel

    Published 2013
    Read online
    Table of Contents
    Electronic eBook


    Saved in:
  3. 3
    Cover Image

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

    Published 1993
    Table of Contents
    Book


    Saved in:
  4. 4
    Cover Image

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

    Published 2016
    Other Authors: “…Pudlák, Pavel 1952-…”
    Read online
    eBook


    Saved in:
  5. 5
    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: “…Pudlák, Pavel 1952-…”
    Read online
    Conference Proceedings eBook


    Saved in:
  6. 6
    Cover Image

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

    Published 1993
    Order via interlibrary loan
    Book


    Saved in:
  7. 7
    Cover Image

    Logical foundations of mathematics and computational complexity: a gentle introduction
    by Pudlák, Pavel 1952-

    Published 2013
    Order via interlibrary loan
    Book


    Saved in:
  8. 8
    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:
  9. 9
    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:
  10. 10
    Cover Image

    A lattice of chapters of mathematics: interpretations between theorems
    by Mycielski, Jan 1932-, Pudlák, Pavel 1952-, Stern, Alan S.

    Published 1990
    Order via interlibrary loan
    Book


    Saved in:
  11. 11
    Cover Image

    A lattice of chapters of mathematics: interpretations between theorems
    by Mycielski, Jan 1932-, Pudlák, Pavel, Stern, Alan S.

    Published 1990
    Order via interlibrary loan
    Book


    Saved in:
  12. 12
    Cover Image

    A lattice of chapters of mathematics: (interpretations between theorems)
    by Mycielski, Jan 1932-, Pudlák, Pavel, Stern, Alan S.

    Published 1990
    Order via interlibrary loan
    Book


    Saved in:
  13. 13
    Cover Image

    A lattice of chapters of mathematics: interpretations between theorems
    by Mycielski, Jan 1932-, Pudlak, Pavel 1952-, Stern, Alan S. 1958-

    Published 1990
    Order via interlibrary loan
    Electronic eBook


    Saved in:
  14. 14
    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: “…Pudlák, Pavel 1952-…”
    Read online (BSB)

    Library Card of Bavarian State Library (BSB) necessary.

    Order via interlibrary loan
    Electronic eBook


    Saved in:

Search Tools: