Etiqueta de registo: 00312nx 2200109n 45
001 239073
095 ## $aPTBN00204619
100 ## $a19970124apory0103 ba
152 ## $aRPC
200 #1 $aCarvalho,$bJoana Martins Ferreira de Campos de
500 #1 $91$aCarvalho,$bJoana$3949575
801 #0 $aPT$bBN
810 ## $aCompletude em lógicas modais e temporais
830 ## $9PT$aMestrado em Matemática Aplicada. Orientador de tese
ver registos bibliográficos associados