Completeness of the Tree System for Propositional Classical Logic
Résumé
It is a presentation based on Fitting and Smullyan's system of semantic trees (or tableaux) for classical propositional logic It is intended for a seminar at Licence 3 level
| Licence |
|---|
