Etiqueta de registo: 00283nx a2200097 45
001 1181175
100 ## $a20041014apory0103 ba0
102 ## $aPT
152 ## $aRPC
200 #1 $aRasga,$bJoão Filipe Quintas dos Santos
801 #0 $aPT$bBN
810 ## $aFibring labelled first-order based logics
830 ## $aDout. em Matemática. Orientador de teses
ver registos bibliográficos associados