Suchergebnisse - Pudlák, Pavel

  • Treffer 1 – 14 von 14
Treffer filtern
  1. 1
    Buchumschlag

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

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 2013
    Online lesen
    Inhaltsverzeichnis
    Elektronisch E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 1993
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 2016
    Weitere beteiligte Personen: “… Pudlák, Pavel 1952- …”
    Online lesen
    E-Book


    Gespeichert in:
  5. 5
    Buchumschlag

    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

    Veröffentlicht 2016
    Weitere beteiligte Personen: “… Pudlák, Pavel 1952- …”
    Online lesen
    Tagungsbericht E-Book


    Gespeichert in:
  6. 6
    Buchumschlag

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

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

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

    Veröffentlicht 2013
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

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

    Veröffentlicht 1998
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

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

    Veröffentlicht 2016
    Elektronisch E-Book


    Gespeichert in:
  10. 10
    Buchumschlag

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

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

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

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

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

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

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

    Veröffentlicht 1990
    Elektronisch E-Book


    Gespeichert in:
  14. 14
    Buchumschlag

    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

    Veröffentlicht 2016
    Weitere beteiligte Personen: “… Pudlák, Pavel 1952- …”
    Elektronisch E-Book


    Gespeichert in:

Suchwerkzeuge: