Handbook of Tableau Methods /
The tableau methodology, invented in the 1950's by Beth and Hintikka and later perfected by Smullyan and Fitting, is today one of the most popular proof theoretical methodologies. Firstly because it is a very intuitive tool, and secondly because it appears to bring together the proof-theoretica...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Other Authors: | , , |
| Format: | eBook |
| Language: | English |
| Published: |
Dordrecht :
Springer Netherlands,
1999.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Search Result 1
