Melvin Fitting | lit.salon

Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Melvin Fitting | lit.salon

Melvin Fitting

Born: 1942

No bio available. Add one in Open Library.

Born: 1942

Books by Melvin Fitting (50 max)

First-order modal logic

1998

Melvin Fitting, Richard L. Mendelsohn

Set theory and the continuum problem

1996

Raymond M. Smullyan, Melvin Fitting

First-order logic and automated theorem proving

1990

First-Order Logic and Automated Theorem Proving

1996

Proof Methods for Modal and Intuitionistic Logics

2010

Types, Tableaus, and Gödel's God

2012

Raymond Smullyan on Self Reference

2018

Melvin Fitting, Brian Rayman

Justification Logic Reasoning with Reasons

2019

Sergei Artemov, Melvin Fitting

Intuitionistic logic, model theory and forcing.

1969

Intuitionistic logic model theory and forcing

1969

Fundamentals of generalized recursion theory

1981

Proof methods for modal and intuitionistic logics

1983

Proof methods for modal and intuitionistic logics

1983

Computability theory, semantics, and logic programming

1987

Computability theory, semantics, and logic programming

1987

First-order logic and automated theorem proving

1990

Types, Tableaus, and Gödel's God

2002

Types, tableaus, and Gödel's God

2002

Beyond Two: Theory and Applications of Multiple Valued Logic

2003

Beyond two theory and applications of multiple-valued logic

2003

Incompleteness in the Land of Sets (Studies in Logic)

2007

Fundamentals of Generalized Recursion Theory

2011

Selected Topics from Contemporary Logics

2021