1. Repositório da Universidade de Lisboa
  2. Comunidades & Colecções
  3. Faculdade de Ciências (FC)
  4. Centro de Filosofia das Ciências da Universidade de Lisboa
  5. CFCUL - Artigos em Revistas Internacionais
Utilize este identificador para referenciar este registo: http://hdl.handle.net/10451/44296
Título: Solving Smullyan puzzles with formal systems
Autor: Costa, José Félix
Poças, Diogo
Data: 2017
Editora: Springer
Peer review: yes
URI: http://hdl.handle.net/10451/44296
Versão do Editor: https://link.springer.com/article/10.1007/s10516-017-9339-1
Aparece nas colecções:CFCUL - Artigos em Revistas Internacionais

Ficheiros deste registo:
Ficheiro Descrição TamanhoFormato 
axio.pdf446,9 kBAdobe PDFVer/Abrir
Mostrar registo em formato completo Dê a sua opinião sobre este registo.


FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote 

Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.