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/thayer-fj

F. Javier Thayer

Bibliography

    Guttman, Joshua D., Farmer, William M. and Thayer, F. Javier. 1990. “IMPS: A Proof System for a Generic Logic.” Bedford, Massachusetts: Mitre Corporation.