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://www.philosophie.ch/profil/kikuch
Kentaro Kikuch (kikuch)
Contributions à
Philosophie.ch
No contributions yet
Bibliography
Kikuch
, Kentaro and
Sasaki
, Katsumi. 2003.
“
A Cut-Free Gentzen Formulation of Basic Propositional Calculus
.”
Journal of Logic, Language, and Information
12(2): 213–225.
Agenda
Communauté
Recherche
Formation
Contenu
Article aléatoire
Chercher