"Déduction de la logique des propositions à partir d'axiomes".
- BE A4006 FI 123-13
- Sous-dossier
- 1951
Fait partie de Archives de Robert Feys
"Déduction de la logique des propositions à partir d'axiomes".
Fait partie de Archives de Robert Feys
"Les preuves par déduction naturelle, Leçon de Paris"
Fait partie de Archives de Robert Feys
"Les systèmes de logique des modalités".
Fait partie de Archives de Robert Feys
Colloque.
"Note sur les relations dégénérées de Schröder".
Fait partie de Archives de Robert Feys
Texte, avec correspondance.
Fait partie de Archives de Robert Feys
Texte, avec correspondance.
Fait partie de Archives de Robert Feys
Texte et tiré à part.
Fait partie de Archives de Robert Feys
Texte, tiré à part, avec correspondance.
"Formalisation des valeurs et impératifs".
Fait partie de Archives de Robert Feys
Fait partie de Archives de Robert Feys