Etiqueta de registo: 00298nx a2200109 45
001 46660
003 http://id.bnportugal.gov.pt/aut/catbnp/46660
100 ## $a19920210apory0103 ba0
102 ## $aPT
152 ## $aRPC
200 #1 $aResende,$bPedro
400 #1 $aResende,$bPedro Manuel Agostinho$31754534
801 #0 $aPT$bBN
810 ## $aTableaux para lógica dinâmica proposicional
830 ## $aDout. e Mestr. em Matemática Aplicada. Orientador de teses
ver registos bibliográficos associados