Thread: First order logic: Soundness, Completeness, Decidability
View Single Post
Dec14-05, 11:09 PM   #26
 
You're right. My book is very misleading. Thanks for the help.