[FOM] Smullyan' workings review

[Adam Kolany]

José Félix Costa wrote

>The last post on a review on Smullyan's Dover reprinting,
>remembered me that a few years ago we tried to make a formal system for
>Smullyan puzzle books:
>
>«Forever Undecided» was reviewed formally in
>http://fgc.math.ist.utl.pt/papers/jurad.pdf.
>
>  
>

here is something I wrote once:

http://akolany.pm.katowice.pl/www-data//miscelanea/smullyan/dane/OnSolvingSmullyanPuzzles.pdf

regards,


-- 
Adam Kolany, http://akolany.pm.katowice.pl, gg. 1797933
-------------------------------------------------------
EU? No, no. Thanks !!
-------------------------------------------------------