Diese Seite auf DeutschCette page en françaisQuesta pagina in italiano
Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://www.philosophie.ch/profil/ungar-am

A.M. Ungar (ungar-am)

Contributions to Philosophie.ch

No contributions yet

Bibliography

    Ungar, A. M. 1992. Normalization, Cut-Elimination and the Theory of Proofs. CSLI Lecture Notes n. 28. Stanford, California: CSLI Publications.