It looks like you're offline.

Last edited by bitnapper

February 15, 2023 | History

Edit

Melvin Fitting

We need a photo of Melvin Fitting

Born

1942

23 works Add another?

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Trending Random

Details Grid — Show only ebooks?

First-Order Modal Logic

by Melvin Fitting and Richard L. Mendelsohn First published in 1998 — 5 editions

Locate

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

Cancel
Preview

Preview Book
×Close

Set theory and the continuum problem

by Raymond M. Smullyan and Melvin Fitting
First published in 1996 — 3 editions
Borrow

Listen

Locate
My Reading Lists:

Create a new list
First-Order Logic and Automated Theorem Proving

by Melvin Fitting First published in 1996 — 2 editions

Locate

My Reading Lists:

Create a new list
Types, Tableaus, and Gödel's God

by Melvin Fitting First published in 2012 — 2 editions

Locate

My Reading Lists:

Create a new list
Raymond Smullyan on Self Reference

by Melvin Fitting and Brian Rayman First published in 2018 — 2 editions

Locate

My Reading Lists:

Create a new list
Justification Logic: Reasoning with Reasons

by Sergei Artemov and Melvin Fitting First published in 2019 — 2 editions

Locate

My Reading Lists:

Create a new list
Proof Methods for Modal and Intuitionistic Logics

by Melvin Fitting First published in 2010 — 2 editions

Locate

My Reading Lists:

Create a new list
First-order logic and automated theorem proving

by Melvin Fitting First published in 1990 — 2 editions

Locate

My Reading Lists:

Create a new list
Types, Tableaus, and Gödel's God

by Melvin Fitting First published in 2002 — 1 edition

Locate

My Reading Lists:

Create a new list
Preview

First-order logic and automated theorem proving

by Melvin Fitting First published in 1990 — 1 edition

Locate

My Reading Lists:

Create a new list
Selected Topics from Contemporary Logics

by Melvin Fitting First published in 2021 — 1 edition

Locate

My Reading Lists:

Create a new list
Fundamentals of Generalized Recursion Theory

by Melvin Fitting First published in 2011 — 1 edition

Locate

My Reading Lists:

Create a new list
Incompleteness in the Land of Sets (Studies in Logic)

by Melvin Fitting First published in 2007 — 1 edition

Locate

My Reading Lists:

Create a new list
Proof methods for modal and intuitionistic logics

by Melvin Fitting First published in 1983 — 1 edition

Locate

My Reading Lists:

Create a new list
Preview

Types, tableaus, and Gödel's God

by Melvin Fitting First published in 2002 — 1 edition

Locate

My Reading Lists:

Create a new list
Beyond two: theory and applications of multiple-valued logic

by Melvin Fitting First published in 2003 — 1 edition

Locate

My Reading Lists:

Create a new list
Preview

Beyond Two: Theory and Applications of Multiple Valued Logic

by Melvin Fitting First published in 2003 — 1 edition

Preview Only

My Reading Lists:

Create a new list
Preview

Fundamentals of generalized recursion theory

by Melvin Fitting First published in 1981 — 1 edition
Read

Listen

Locate
My Reading Lists:

Create a new list
Preview

Computability theory, semantics, and logic programming

by Melvin Fitting First published in 1987 — 1 edition
Borrow

Listen

Locate
My Reading Lists:

Create a new list
Intuitionistic logic, model theory and forcing.

by Melvin Fitting First published in 1969 — 1 edition

Locate

My Reading Lists:

Create a new list

We need a photo of Melvin Fitting

Born

1942

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL234438A

Links outside Open Library

No links yet. Add one?

Alternative names

M. Fitting
M. C. Fitting

Download catalog record: RDF / JSON