Covers: Open Library
- First-Order Logic and Automated Theorem ProvingMelvin Fitting
- Incompleteness in the Land of Sets (Studies in Logic)Melvin Fitting
- Raymond Smullyan on Self ReferenceMelvin Fitting, Brian Rayman
- First-order modal logicMelvin Fitting, Richard L. Mendelsohn
- Set theory and the continuum problemRaymond M. Smullyan, Melvin Fitting
