References
Diogo Poças
(2018). Solving smullyan puzzles with formal systems. Axiomathes, 28 (2), 181-199. https://doi.org/10.1007/s10516-017-9339-1.
(2018). Solving smullyan puzzles with formal systems. Axiomathes, 28 (2), 181-199. https://doi.org/10.1007/s10516-017-9339-1.