Next:
First Steps
Up:
Metatheory
Previous:
Soundness
Completeness
First Steps
Henkin's Theorem
Augmentation; Completion of Completeness Proof
Selmer Bringsjord
1999-04-19
