Melvin Fitting

5 books

First-Order Logic and Automated Theorem Proving by Melvin Fitting
First-Order Logic and Automated Theorem Proving
—
Melvin Fitting

First-Order Logic and Automated Theorem Proving

Melvin Fitting

missing page info • 1990

medium-paced
Incompleteness in the Land of Sets by Melvin Fitting

Incompleteness in the Land of Sets

Melvin Fitting

156 pages • 2007

reflective medium-paced
Numbers by Melvin Fitting, Greer Fitting

Numbers

Melvin Fitting, Greer Fitting

238 pages • paperback

nonfiction mathematics
Raymond Smullyan on Self Reference by

Raymond Smullyan on Self Reference

Outstanding Contributions to Logic

195 pages • paperback

nonfiction computer science mathematics philosophy science
Set Theory And The Continuum Problem by Melvin Fitting, Raymond M. Smullyan

Set Theory And The Continuum Problem

Melvin Fitting, Raymond M. Smullyan

288 pages • 1996

nonfiction mathematics philosophy informative medium-paced