9 treff

Beyond two : theory and applications of multiple valued logic
Melvin Fitting, Ewa Orłowska, editors
Bok Engelsk 2003
First-order modal logic
Melvin Fitting and Richard L. Mendelsohn
Bok Engelsk 1998
First-order logic and automated theorem proving
Melvin Fitting
Bok Engelsk 1996
Set theory and the continuum problem
Smullyan, Raymond M.
Bok Engelsk 1996
First-order logic and automated theorem proving
Melvin Fitting
Bok Engelsk 1990
Computability theory, semantics, and logic programming
Melvin Fitting
Bok Engelsk 1987
Proof methods for modal and intuitionistic logics
Melvin Fitting
Bok Engelsk 1983
Fundamentals of generalized recursion theory
Melvin Fitting
Bok Språk ikke angitt 1981
Intuitionistic logic model theory and forcing
Fitting, Melvin
Bok Engelsk 1969