Etiqueta de registo: 00312cx a2200109 45
001 239073
003 http://id.bnportugal.gov.pt/aut/catbnp/239073
095 ## $aPTBN00204619
100 ## $a19970124apory0103 ba0
102 ## $aPT
152 ## $aRPC
200 #1 $aCarvalho,$bJoana Martins Ferreira de Campos de
801 #0 $aPT$bBN
810 ## $aCompletude em lógicas modais e temporais
830 ## $aMest. Matemática Aplicada. Orientador de tese
ver registos bibliográficos associados