Treffer 1 – 6 von 6 für Suche 'Baaz, Matthias', Suchdauer: 0,03s 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
    Kurt Gödel and the foundations of mathematics : horizons of truth /

    Kurt Gödel and the foundations of mathematics : horizons of truth /

    Veröffentlicht 2011
    Weitere Verfasser: “… Baaz, Matthias …”
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Methods of cut-elimination

    Methods of cut-elimination von Baaz, Matthias 1960-, Leitsch, Alexander

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


    Gespeichert in:
  3. 3
    Methods of cut-elimination

    Methods of cut-elimination von Baaz, Matthias

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


    Gespeichert in:
  4. 4
    Mathematische Modelle des militärischen Kräftevergleichs

    Mathematische Modelle des militärischen Kräftevergleichs von Baaz, Matthias 1960-

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Logic Colloquium '01 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001

    Logic Colloquium '01 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001

    Veröffentlicht 2016
    Weitere Verfasser: “… Baaz, Matthias 1960- …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Kurt Gödel and the foundations of mathematics horizons of truth

    Kurt Gödel and the foundations of mathematics horizons of truth

    Veröffentlicht 2011
    Weitere Verfasser: “… Baaz, Matthias 1960- …”
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: