Melvin Fitting

Born 1942

No counted ratings yet

6 books

No biography yet.

Books

Sorted by popularity.

First-Order Logic and Automated Theorem ProvingMelvin Fitting
First-Order Logic and Automated Theorem Proving
Melvin Fitting · 1996 · 348 pages
Want to read
Incompleteness in the Land of Sets (Studies in Logic)Melvin Fitting
Incompleteness in the Land of Sets (Studies in Logic)
Melvin Fitting · 2007 · 156 pages
Want to read
Raymond Smullyan on Self ReferenceMelvin Fitting, Brian Rayman
Raymond Smullyan on Self Reference
Melvin Fitting, Brian Rayman · 2018 · 200 pages
Want to read
Proof methods for modal and intuitionistic logicsMelvin Fitting
Proof methods for modal and intuitionistic logics
Melvin Fitting · 1983 · 555 pages
Want to read
First-order modal logicMelvin Fitting, Richard L. Mendelsohn
First-order modal logic
Melvin Fitting, Richard L. Mendelsohn · 1998 · 308 pages
Want to read
Set theory and the continuum problemRaymond M. Smullyan, Melvin Fitting
Set theory and the continuum problem
Raymond M. Smullyan, Melvin Fitting · 1996 · 288 pages
Want to read