Melvin Fitting
Melvin Fitting has written at least 3 books. Their most popular book is Types, Tableaus, and Gödel's God with 1 save with an average rating of -⭐.
Types, Tableaus, and Gödel's God
ByMelvin Fitting
2002 • 1 Reader • 180 pages
Beyond two
ByMelvin Fitting
First-Order Logic and Automated Theorem Proving
ByMelvin Fitting