Treffer 1 – 2 von 2 für Suche 'Andrews, Peter Bruce', Suchdauer: 0,04s 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
    An introduction to mathematical logic and type theory to truth through proof

    An introduction to mathematical logic and type theory to truth through proof von Andrews, Peter Bruce

    Veröffentlicht 2002
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    A Fransfinite Type Theory with type variables

    A Fransfinite Type Theory with type variables von Andrews, Peter Bruce

    Veröffentlicht 1965
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: