First Order Logic
Syntax and Semantics of First Order Logic,
Substitution,
Semantic Tableaux, Soundness and Completeness,
Normal Forms
fol.pdf
—
PDF document,
242 kB (248188 bytes)