Treffer 1 - 10 von 10 für Suche 'Galvan, Sergio', Suchdauer: 0,47s Treffer weiter einschränken
  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

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

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

    Veröffentlicht 2006
    Inhaltstext
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    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

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Introduzione ai teoremi di incompletezza

    Introduzione ai teoremi di incompletezza von Galvan, Sergio

    Veröffentlicht 1992
    Buch

    Zu den Favoriten
    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
    Cover
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    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

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Logica

    Logica von Galvan, Sergio

    Veröffentlicht 2012
    Buch

    Zu den Favoriten
    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

    Zu den Favoriten
    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

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Teoria formale dei numeri naturali

    Teoria formale dei numeri naturali von Galvan, Sergio

    Veröffentlicht 1983
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: