Suchergebnisse - Galvan, Sergio 1946-

  • Treffer 1 – 2 von 2
Treffer filtern
  1. 1
    Buchumschlag

    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


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 1991
    Buch


    Gespeichert in:

Suchwerkzeuge: