Home > Authors > Melvin Fitting

Melvin Fitting

All books by Melvin Fitting

(Displaying 4 Books)

First-order modal logic

First-order modal logic

Melvin Fitting

Proof Methods For Modal And Intuitionistic Logics

Proof Methods For Modal And Intuitionistic Logics

Melvin Fitting

Raymond Smullyan on Self Reference

Raymond Smullyan on Self Reference

Melvin Fitting

Types, Tableaus, and Gödel's God

Types, Tableaus, and Gödel's God

Melvin Fitting

Looking for another book by Melvin Fitting? Search for the book by title.