Treffer 1 – 10 von 10 für Suche 'Galvan, Sergio', 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 proof theory normalization, cut-elimination, and consistency proofs

    An introduction to proof theory normalization, cut-elimination, and consistency proofs von Mancosu, Paolo 1960-, Galvan, Sergio 1946-, Zach, Richard

    Veröffentlicht 2021
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Einführung in die Unvollständigkeitstheoreme

    Einführung in die Unvollständigkeitstheoreme von Galvan, Sergio

    Veröffentlicht 2006
    Beschreibung
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    El cadete Vargas Llosa la historia oculta tras La ciudad y los perros

    El cadete Vargas Llosa la historia oculta tras La ciudad y los perros von Vilela Galván, Sergio 1979-

    Veröffentlicht 2003
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Introduzione ai teoremi di incompletezza

    Introduzione ai teoremi di incompletezza von Galvan, Sergio

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    El cadete Vargas Llosa la historia oculta tras La ciudad y los perros

    El cadete Vargas Llosa la historia oculta tras La ciudad y los perros von Vilela Galván, Sergio 1979-

    Veröffentlicht 2011
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Logiche intensionali sistemi proposizionali di logica modale, deontica, epistemica

    Logiche intensionali sistemi proposizionali di logica modale, deontica, epistemica von Galvan, Sergio 1946-

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Logica

    Logica von Galvan, Sergio

    Veröffentlicht 2012
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    El cadete Vargas Llosa la mejor ficción nace de la realidad

    El cadete Vargas Llosa la mejor ficción nace de la realidad von Vilela Galván, Sergio 1979-

    Veröffentlicht 2011
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Non contraddizione e terzo escluso le regole della negazione nella logica classica intuizionistica e minimale

    Non contraddizione e terzo escluso le regole della negazione nella logica classica intuizionistica e minimale von Galvan, Sergio

    Veröffentlicht 1997
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Teoria formale dei numeri naturali

    Teoria formale dei numeri naturali von Galvan, Sergio

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: