Showing 9 results

"Déduction de la logique des propositions à partir d'axiomes".

• BE A4006 FI 123-13
• Subfile
• 1951

Part of Archives de Robert Feys

"Les preuves par déduction naturelle, Leçon de Paris"

• BE A4006 FI 123-14
• Subfile
• mars 1953

Part of Archives de Robert Feys

"Les systèmes de logique des modalités".

• BE A4006 FI 123-15
• Subfile
• 1 août 1953

Part of Archives de Robert Feys

Colloque.

"Note sur les relations dégénérées de Schröder".

• BE A4006 FI 123-3
• Subfile
• 1943

Part of Archives de Robert Feys

Texte, avec correspondance.

"Carnap on modalities".

• BE A4006 FI 123-4
• Subfile
• 1954

Part of Archives de Robert Feys

Texte, avec correspondance.

"Logica".

• BE A4006 FI 123-5
• Subfile
• 1959

Part of Archives de Robert Feys

Texte et tiré à part.

"Boole as a logician".

• BE A4006 FI 123-6
• Subfile
• 1954

Part of Archives de Robert Feys

Texte, tiré à part, avec correspondance.

"Formalisation des valeurs et impératifs".

• BE A4006 FI 123-7
• Subfile

Part of Archives de Robert Feys

"Existence et formalisation".

• BE A4006 FI 123-9
• Subfile

Part of Archives de Robert Feys