Home / Authors / Melvin Fitting

Books by Melvin Fitting

All books by this author

5 books found
First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
First-Order Logic and Automated Theorem Proving (Texts in C…
By: Melvin Fitting
View Details
Incompletetude Na Terra DOS Conjuntos (Portuguese Edition)
Incompletetude Na Terra DOS Conjuntos (Portuguese Edition)
By: Melvin Fitting
View Details
First-Order Modal Logic
First-Order Modal Logic
By: Melvin Fitting
View Details
First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
First-Order Logic and Automated Theorem Proving (Texts in C…
By: Melvin Fitting
View Details
Incompleteness in the Land of Sets (Studies in Logic)
Incompleteness in the Land of Sets (Studies in Logic)
By: Melvin Fitting
View Details