Next:
Soundness
Up:
First-Order Languages
Previous:
Demodulation
Metatheory
Soundness
Completeness
First Steps
Henkin's Theorem
Augmentation; Completion of Completeness Proof
The Löwenheim-Skolem Theorem
Selmer Bringsjord
1999-04-19
