Solving Smullyan puzzles with formal systems

• Autor(es): Costa, José Félix ; Poças, Diogo
• Data: 2017
• Identificador Persistente: http://hdl.handle.net/10451/44296
• Origem: Repositório da Universidade de Lisboa
• Tipo de Documento: Artigo científico
• Idioma: Inglês
• Contribuidor(es): Repositório Científico de Acesso Aberto da ULisboa