Author

Melvin Fitting

12 books found

Cover of Selected Topics from Contemporary Logics

Selected Topics from Contemporary Logics

Melvin Fitting · First published 2021

Cover of Raymond Smullyan on Self Reference

Raymond Smullyan on Self Reference

Melvin Fitting, Brian Rayman · First published 2018

Cover of Types, Tableaus, and Gödel's God

Types, Tableaus, and Gödel's God

Melvin Fitting · First published 2002

Cover of Fundamentals of Generalized Recursion Theory

Fundamentals of Generalized Recursion Theory

Melvin Fitting · First published 2011

Cover of Proof Methods For Modal And Intuitionistic Logics

Proof Methods For Modal And Intuitionistic Logics

Melvin Fitting · First published 1983 · Latest edition 2010

Cover of Incompleteness in the Land of Sets (Studies in Logic)

Incompleteness in the Land of Sets (Studies in Logic)

Melvin Fitting · First published 2007

Cover of Beyond two

Beyond two

Melvin Fitting · First published 2003

Cover of First-order modal logic

First-order modal logic

Melvin Fitting, Richard L. Mendelsohn · First published 1998

Cover of First-Order Logic and Automated Theorem Proving

First-Order Logic and Automated Theorem Proving

Melvin Fitting · First published 1990 · Latest edition 1996

Cover of Set theory and the continuum problem

Set theory and the continuum problem

Raymond M. Smullyan, Melvin Fitting · First published 1996

Cover of Computability theory, semantics, and logic programming

Computability theory, semantics, and logic programming

Melvin Fitting · First published 1987

Cover of Intuitionistic logic model theory and forcing

Intuitionistic logic model theory and forcing

Melvin Fitting · First published 1969