作者 Melvin Fitting 的书籍 - BookPine

First-Order Modal Logic

First-Order Modal Logic

Melvin Fitting

Justification Logic: Reasoning with Reasons

Justification Logic: Reasoning with Reasons

Sergei Artemov

Types, Tableaux, and Gödel's God

Types, Tableaux, and Gödel's God

Melvin Fitting

First-Order Logic and Automated Theorem Proving

First-Order Logic and Automated Theorem Proving

Melvin Fitting

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

Beyond Two: Theory and Applications of Multiple-Valued Logic: Theory And Applications Of Multiple-Valued Logic

Beyond Two: Theory and Applications of Multiple-Valued Logic: Theory And Applications Of Multiple-Valued Logic

Melvin Fitting

Incompleteness in the Land of Sets

Incompleteness in the Land of Sets

Melvin Fitting

Beyond Two: Theory and Applications of Multiple Valued Logic

Beyond Two: Theory and Applications of Multiple Valued Logic

Melvin Fitting

Types, Tableaus, and Gödel's God

Types, Tableaus, and Gödel's God

Melvin Fitting

First-Order Modal Logic

First-Order Modal Logic

Richard L. Mendelsohn

First-Order Modal Logic

First-Order Modal Logic

Melvin Fitting

Set Theory and the Continuum Problem

Set Theory and the Continuum Problem

Raymond M. Smullyan

First-Order Logic and Automated Theorem Proving

First-Order Logic and Automated Theorem Proving

Melvin Fitting

Computability Theory, Semantics, and Logic Programming

Computability Theory, Semantics, and Logic Programming

Melvin Fitting

Fundamentals of Generalized Recursion Theory

Fundamentals of Generalized Recursion Theory

Melvin Fitting

Fundamentals of Generalized Recursion Theory

Fundamentals of Generalized Recursion Theory

Melvin Fitting

In praise of simple things

In praise of simple things

Greer Fitting