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 • first pub 1990 (editions)

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

Incompleteness in the Land of Sets

Melvin Fitting

156 pages • first pub 2007 (editions)

reflective medium-paced
Numbers by Melvin Fitting, Greer Fitting

Numbers

Melvin Fitting, Greer Fitting

238 pages • missing pub info (editions)

nonfiction mathematics
Raymond Smullyan on Self Reference by

Raymond Smullyan on Self Reference

Outstanding Contributions to Logic

195 pages • missing pub info (editions)

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 • first pub 1996 (editions)

nonfiction mathematics philosophy informative medium-paced