Etiqueta de registo: 00000nx a2200025 45
001 1341127
100 ## $a20080903apory0103 ba0
102 ## $aPT
152 ## $aRPC
200 #1 $aMonteiro,$bCarlos Jorge Pereira,$f1978-
801 #0 $aPT$bBN
810 ## $aCaracterizações semânticas e dedutivas da lógica proposicional bi-intuicionista
830 ## $aMestr. Ensino da Matemática e mestre Química. Dout. em química
ver registos bibliográficos associados