Principales oeuvres :

• Le concept de vérité dans les langues formelles (1933)
• Introduction à la logique (1951)
• Logique, sémantique, mathématique (1956)