Jean Gallier makes available his complete outofprint 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 theoremproving.
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
