Soundness of the System of Semantic Trees for Classical Logic based on Fitting and Smullyan
Résumé
Iti is simple presentation of the soundness proof for tableaux or semantic trees for classical logic
The presentation is based on Fitting and Smullyan
It is part of course of Licence 3