Raymond Smullyan on Self Reference

Raymond Smullyan on Self Reference | 2019

Representative edition for this work grouping in the active catalog.

Types, Tableaus, and Gödel's God

Types, Tableaus, and Gödel's God | 2012

Representative edition for this work grouping in the active catalog.

Proof Methods For Modal And Intuitionistic Logics

Proof Methods For Modal And Intuitionistic Logics | 2010

Representative edition for this work grouping in the active catalog.

Set theory and the continuum problem

Set theory and the continuum problem | 2010

Representative edition for this work grouping in the active catalog.

Incompleteness in the Land of Sets (Studies in Logic)

Incompleteness in the Land of Sets (Studies in Logic) | 2007

Representative edition for this work grouping in the active catalog.

Beyond two

Beyond Two | 2003

Representative edition for this work grouping in the active catalog.

Beyond two

Beyond two | 2003

Representative edition for this work grouping in the active catalog.

Types, tableaus, and Gödel's God

Types, tableaus, and Gödel's God | 2002

Representative edition for this work grouping in the active catalog.

Types, Tableaus, and Gödel's God

Types, Tableaus, and Gödel's God | 2002

Representative edition for this work grouping in the active catalog.

First-order modal logic

First-order modal logic | 1998

Representative edition for this work grouping in the active catalog.

First-order logic and automated theorem proving

First-order logic and automated theorem proving | 1996

Representative edition for this work grouping in the active catalog.

First-Order Logic and Automated Theorem Proving

First-Order Logic and Automated Theorem Proving | 1996

Representative edition for this work grouping in the active catalog.

First-order logic and automated theorem proving

First-order logic and automated theorem proving | 1990

Representative edition for this work grouping in the active catalog.

Computability theory, semantics, and logic programming

Computability theory, semantics, and logic programming | 1987

Representative edition for this work grouping in the active catalog.

Proof methods for modal and intuitionistic logics

Proof methods for modal and intuitionistic logics | 1983

Representative edition for this work grouping in the active catalog.

Fundamentals of generalized recursion theory

Fundamentals of generalized recursion theory | 1981

Representative edition for this work grouping in the active catalog.

Intuitionistic logic, model theory and forcing

Intuitionistic logic, model theory and forcing. | 1969

Representative edition for this work grouping in the active catalog.

Selected Topics from Contemporary Logics

Selected Topics from Contemporary Logics | 2021

Representative edition for this work grouping in the active catalog.

Justification Logic

Justification Logic | 2019

Representative edition for this work grouping in the active catalog.

Fundamentals of Generalized Recursion Theory

Fundamentals of Generalized Recursion Theory | 2011

Representative edition for this work grouping in the active catalog.

Computability theory, semantics, and logic programming

Computability theory, semantics, and logic programming | 1987

Representative edition for this work grouping in the active catalog.

Proof methods for modal and intuitionistic logics

Proof methods for modal and intuitionistic logics | 1983

Representative edition for this work grouping in the active catalog.