|
Jean Gallier makes available his complete out-of-print book.
This book is designed primarily for computer scientists, and more generally, for mathematically inclined readers interested in the formalization of proofs, and the foundations of automatic theorem-proving.
See also: Theorem Proving Haiku
Theorem proving and
sanity; Oh, my! What a
delicate balance
Posted to Logic/Declerative by Manuel Simoni on 6/19/03; 9:02:00 AM
|
Logic for Computer Science: Foundations of Automatic Theorem Proving
