Books

1 results found
Title Authors Description OpenBook ID
Handbook of Tableau Methods Handbook of Tableau Methods Marcello D'Agostino 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 … OL19854566W