Treffer 1 – 13 von 13 für Suche 'Pudlák, Pavel', Suchdauer: 0,05s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Metamathematics of first-order arithmetic /

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

    Veröffentlicht 2016
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Metamathematics of first order arithmetic

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

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    A lattice of chapters of mathematics interpretations between theorems

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

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Logical foundations of mathematics and computational complexity a gentle introduction

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

    Veröffentlicht 2013
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Logical foundations of mathematics and computational complexity a gentle introduction

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

    Veröffentlicht 2013
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Metamathematics of first order arithmetic

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

    Veröffentlicht 1998
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    A lattice of chapters of mathematics (interpretations between theorems)

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

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Metamathematics of first-order arithmetic

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

    Veröffentlicht 2016
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Metamathematics of first-order arithmetic

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

    Veröffentlicht 1993
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    A lattice of chapters of mathematics interpretations between theorems

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

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    A lattice of chapters of mathematics interpretations between theorems

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

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    A lattice of chapters of mathematics interpretations between theorems

    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 Fernleihe Bestellen


    Gespeichert in:
  13. 13
    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

    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 Verfasser:
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: