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

Takahito Aoto (aoto)

Beiträge zu Philosophie.ch

No contributions yet

Bibliography

    Aoto, Takahito. 1999. “Uniqueness of Normal Proofs in Implicational Intuitionistic Logic.” Journal of Logic, Language, and Information 8(2): 217–242.