Melvin Fitting

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 -⭐.

Details
Rating
Readers Count
Controls
Types, Tableaus, and Gödel's God
Types, Tableaus, and Gödel's God
  • Melvin Fitting
01 read
Beyond two
Beyond two
  • Melvin Fitting
00 reads
First-Order Logic and Automated Theorem Proving
First-Order Logic and Automated Theorem Proving
  • Melvin Fitting
00 reads