We are improving our search experience. To check which content you have full access to, or for advanced search, go back to the old search.

Search

Please fill in this field.
Filters applied:
Philosophy

Search Results

Showing 1-2 of 2 results

  1. Introduction

    Raymond Smullyan was born in 1919, after the Great War and before the Great Depression. I have known him since I was a graduate student and he was my...
    Melvin Fitting in Raymond Smullyan on Self Reference
    Chapter 2017

  2. Tableau Methods for Classical Propositional Logic

    Traditionally, a mathematical problem was considered ‘closed’ when an algorithm was found to solve it ‘in principle’. In this sense the deducibility...
    Marcello D’Agostino in Handbook of Tableau Methods
    Chapter 1999
Did you find what you were looking for? Share feedback.