Please use this identifier to cite or link to this item:
http://hdl.handle.net/10451/44296| Title: | Solving Smullyan puzzles with formal systems |
| Author: | Costa, José Félix Poças, Diogo |
| Issue Date: | 2017 |
| Publisher: | Springer |
| Peer review: | yes |
| URI: | http://hdl.handle.net/10451/44296 |
| Publisher Version: | https://link.springer.com/article/10.1007/s10516-017-9339-1 |
| Appears in Collections: | CFCUL - Artigos em Revistas Internacionais |
Items in Repository are protected by copyright, with all rights reserved, unless otherwise indicated.
