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
Posted to Logic/Declerative by Manuel Simoni on 6/19/03; 9:02:00 AM