Etiqueta de registo: 00230nam 2200025 450
001 1686799
003 http://id.bnportugal.gov.pt/bib/catbnp/1686799
100 ## $a20080708d2006 k y0pory0103 ba
101 0# $apor$deng
102 ## $aPT
105 ## $ay m 001yy
106 ## $ar
200 1# $aTeoria de conjuntos em Isabelle$bTexto policopiado]$fHelena Paula Nunes Araújo$gorient. Francisco Miguel A. C. de Sousa Dionísio
210 #9 $aFunchal$c[s.n.],$d2006
215 ## $aX, 235 p.$d30 cm$ecurriculum vitae (6 p.)
320 ## $aBibliografia, p. 235
328 #0 $bTese mestr.$cMatemática, esp. Matemática para o Ensino$eDep. de Matemática e Engenharias, Univ. da Madeira$d2006
675 ## $a511.22(043)$vBN$zpor$31342021
675 ## $a510.6(043)$vBN$zpor$31303923
675 ## $a519.6(043)$vBN$zpor$31220290
675 ## $a519.85(043)$vBN$zpor$31221125
700 #1 $aAraújo,$bHelena Paula Nunes,$f1977-$31333075
702 #1 $aDionísio,$bFrancisco Miguel Alves Campos de Sousa$4727$354529
712 02 $aUniversidade da Madeira.$bDepartamento de Matemática e Engenharias$4295$31228433
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 121636 V.$x1