Cette page en françaisQuesta pagina in italianoThis page in English
Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://philosophie.ch/profil/hauesler

Edward Hermann Hauesler (hauesler)

Beiträge zu Philosophie.ch

No contributions yet

Bibliography

    Hauesler, Edward Hermann and Pereira, Luiz Carlos. 1996. “Gentzen’s Second Consistency Proof and Strong Cut-Elimination.” Logique et Analyse 39(153–154): 95–111.