Etiqueta de registo: 00000nx a2200025 45
001 1348239
100 ## $a20081023apory0103 ba0
102 ## $aPT
152 ## $aRPC
200 #1 $aCosta,$bDulce Helena Marques Fernandes da
801 #0 $aPT$bBN
810 ## $aO problema da completude nas semânticas intuicionistas
830 ## $aMestrado em Matemática Aplicada
ver registos bibliográficos associados