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

Marcelo F. Frias (frias)

Contributions to Philosophie.ch

No contributions yet

Bibliography

    Frias, Marcelo F. and Orłowska, Ewa. 1995. “A Proof System for Fork Algebras and its Applications to Reasoning in Logics Based on Intuitionism.” Logique et Analyse 38(150–152): 239–284.