[FOM] Smullyan' workings review

[José Félix Costa]

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.

J   Felix

+++++++++++++++++++++++++++++++++++++++++++++++
J. Felix Costa
Departamento de Matematica
Instituto Superior Tecnico
Av. Rovisco Pais, 1049-001 Lisboa, PORTUGAL
tel:      351 - 21 - 841 71 45
fax:     351 - 21 - 841 75 98
e-mail:   fgc at math.ist.utl.pt
www:    http://fgc.math.ist.utl.pt/jfc.htm
+++++++++++++++++++++++++++++++++++++++++++++++