Skip To Content
Les cookies assurent le bon fonctionnement de nos services. En utilisant ces derniers, vous acceptez l'utilisation des cookies.
OK
Nouvelles
À propos
Contribuez
Dialectica
Cours
D
|
E
|
F
|
I
Query
Menu
philosophie.ch
swiss portal for philosophie
Philosophie.ch
Agenda
Communauté
Recherche
Formation
Contenu
s'identifier
langage
Deutsch
Englisch
Französisch
Italienisch
Diese Seite auf Deutsch
Questa pagina in italiano
This page in English
Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://philosophie.ch/profil/frias
Marcelo F. Frias (frias)
Contributions à
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.
Agenda
Communauté
Recherche
Formation
Contenu
Article aléatoire
Chercher