A general method of solving Smullyan’s puzzles

DOI10.12775/LLP.1996.004zbMath0983.03006OpenAlexW2035288773MaRDI QIDQ2738834

Adam Kolany

Publication date: 9 September 2001

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.12775/llp.1996.004

zbMATH Keywords

classical propositional calculusSmullyan's puzzles

Mathematics Subject Classification ID

Classical propositional logic (03B05) Recreational mathematics (00A08)

Related Items (1)

Automated Puzzle Solving

This page was built for publication: A general method of solving Smullyan’s puzzles