Risultati della ricerca - "Proof theory."

Soggetti all'interno della tua ricerca.
  • Mostra 1 - 1 risultati su 1
Raffina i risultati
  1. 1
    Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, Part II /

    Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, Part II /

    Pubblicazione 1984
    Soggetti: “...Proof theory....”
    Atti del Convegno Libro

    Aggiungi alla lista
    Salvato in:

Strumenti per la ricerca: