Un método de Tableaux para la lógica dinámica proposicional
Editorial: Universidade do Minho
Any de publicació: 1987
Volum: 3
Pàgines: 382-387
Congrés: Jornadas Luso-Espanholas de Matemática (12. 1987. Braga)
Tipus: Aportació congrés
Editorial: Universidade do Minho
Any de publicació: 1987
Volum: 3
Pàgines: 382-387
Congrés: Jornadas Luso-Espanholas de Matemática (12. 1987. Braga)
Tipus: Aportació congrés