Théorie de la preuve
Sujets abordés
- Séquents, preuves formelles ;
- Déduction naturelle pour le calcul des propositions ;
- Déduction naturelle pour le calcul des prédicats ;
- Notions de correction, complétude, consistance ;
- Systèmes à la Hilbert.
Sources