It looks like you're offline.
Donate
Change Website Language
Open Library logo
additional options menu
Last edited by bitnapper
February 15, 2023 | History
Edit

Melvin Fitting

We need a photo of Melvin Fitting

Born 1942

23 works Add another?

Sorting by Sorted by: Most Editions | First Published | Most Recent | Top Rated | Reading Log | Random

Showing all works by author. Would you like to see only ebooks?

  • Cover of: First-Order Modal Logic

    First published in 1998 5 editions in 1 language — 1 previewable
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Set theory and the continuum problem

    First published in 1996 3 editions in 1 language — 2 previewable Cover of edition settheorycontinu00smul
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: First-order logic and automated theorem proving

    First published in 1990 2 editions in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Justification Logic: Reasoning with Reasons

    First published in 2019 2 editions in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Types, Tableaus, and Gödel's God

    First published in 2012 2 editions in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Raymond Smullyan on Self Reference

    First published in 2018 2 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Proof Methods for Modal and Intuitionistic Logics

    First published in 2010 2 editions in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: First-Order Logic and Automated Theorem Proving

    First published in 1996 2 editions in 1 language — 1 previewable
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Selected Topics from Contemporary Logics

    First published in 2021 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Fundamentals of Generalized Recursion Theory

    First published in 2011 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Computability theory, semantics, and logic programming

    First published in 1987 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Fundamentals of generalized recursion theory

    First published in 1981 1 edition in 1 language — 1 previewable
    Read Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Incompleteness in the Land of Sets (Studies in Logic)

    First published in 2007 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Intuitionistic logic, model theory and forcing.

    First published in 1969 1 edition in 1 language — 1 previewable
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Proof methods for modal and intuitionistic logics

    First published in 1983 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Types, tableaus, and Gödel's God

    First published in 2002 1 edition in 1 language — 1 previewable
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Beyond two: theory and applications of multiple-valued logic

    First published in 2003 1 edition in 1 language — 1 previewable
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Beyond Two: Theory and Applications of Multiple Valued Logic

    First published in 2003 1 edition in 1 language — 1 previewable
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Types, Tableaus, and Gödel's God

    First published in 2002 1 edition in 1 language — 1 previewable
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Intuitionistic logic model theory and forcing

    First published in 1969 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
We need a photo of Melvin Fitting

Born 1942
Subjects
Symbolic and mathematical Logic, Logic, Logic, Symbolic and mathematical, Logic, symbolic and mathematical, Modality (Logic), Automatic theorem proving, Proof theory, Computable functions, Data structures (Computer science), God, Intuitionistic mathematics, Many-valued logic, Modality (logic), Ontological Proof, Religion, Set theory, Artificial Intelligence (incl. Robotics), Axiomatic set theory, Computational linguistics, Computer Science, Computer science, Continuum hypothesis, Contributions in ontological proof of existence of God, Electronic digital computers, Extraction (chemistry)
People
Kurt Gödel (1906-1978)

Lists

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

History

Download catalog record: RDF / JSON
February 15, 2023 Edited by bitnapper merge authors
September 6, 2008 Edited by RenameBot fix author name
April 1, 2008 Created by an anonymous user initial import