Etiqueta de registo: 00230nam 2200025 450
001 1331522
003 http://id.bnportugal.gov.pt/bib/catbnp/1331522
100 ## $a20050831d2004 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay m 001yy
106 ## $ar
200 1# $aBehavioral reasoning in generalized hidden logics$bTexto policopiado]$fManuel A. Martins$gorient. Isabel Ferreirim
210 #9 $aLisboa$c[s.n.],$d2004
215 ## $aXXVII, 216 p.$d30 cm$ecurriculum vitae (5 f.)
320 ## $aBibliografia, p. 204-216
328 #0 $bTese dout.$cMatemática (Álgebra, Lógica e Fundamentos)$eFac. de Ciências, Univ. de Lisboa$d2004
675 ## $a519.6(043)$vBN$zpor$31220290
675 ## $a512(043)$vBN$zpor$3297302
700 #1 $aMartins,$bManuel A. da Costa,$f1972-$3228994
702 #1 $aFerreirim,$bIsabel Maria André,$f1961-$4727$336247
712 02 $aUniversidade de Lisboa.$bFaculdade de Ciências$4295$320075
966 ## $lBN$mFGMON$sS.A. 111444 V.$x1

Etiqueta de registo: 00831c 02200217 04500
001 104289
003 http://id.bnportugal.gov.pt/bib/catbnp/104289
005 19981120051700.0
095 ## $aPTBN00108415
100 ## $a19871102d1987 k y0pory0103 ba
101 0# $apor
102 ## $aPT
200 1# $aLema de Zorn e condições equivalentes$bTexto policopiado]$fIsabel Maria André Ferreirim
210 #9 $aLisboa$c[s.n.,$d1987]
215 ## $a17 f.$d30 cm
328 ## $aRelatório de uma aula teórico-prática elaborado para prestação de provas de aptidäo pedagógica e capacidade ciêntífica, apresentado ao Departamento de Matemática da Fac. de Ciências da Univ. de Lisboa
675 ## $a512(043)$vmed$zpor$3297302
700 #1 $aFerreirim,$bIsabel Maria André,$f1961-$336247
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 65697 V.
998 ## $aBN017 - 00307

Etiqueta de registo: 00705cam 02200205 04500
001 30594
003 http://id.bnportugal.gov.pt/bib/catbnp/30594
005 19981112092000.0
095 ## $aPTBN00031470
100 ## $a19871102d1987 k y0pora0103 ba
101 0# $apor
102 ## $aPT
200 1# $aSemi-reticulados de Brouwer$fIsabel Maria André Ferreirim
210 #9 $aLisboa$c[s.n.],$d1987
215 ## $a107 p.$d30 cm
328 ## $aTrabalho de síntese elaborado para prestação de provas de aptidäo pedagógica e capacidade científica, apresentado ao Depart. de Matemática da Univ. de Lisboa
675 ## $a512(043)$vmed$zpor$3297302
700 #1 $aFerreirim,$bIsabel Maria André,$f1961-$336247
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 65616 V.
998 ## $aBN015 - 00257

Etiqueta de registo: 00906cam 02200241 04500
001 1021601
003 http://id.bnportugal.gov.pt/bib/catbnp/1021601
005 20021023111500.0
100 ## $a20000510d1999 k y0pory0103 ba
101 0# $aeng
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aDualities, interpretability and ordered structures$fWorkshop on "Dualities, Interpretability and Ordered Structures"$gedited by Júlia Vaz de Carvalho, Isabel Ferreirim
210 #9 $aLisboa$cCentro de Álgebra da Univ. de Lisboa,$d[D.L.1999]
215 ## $a74, [1] p.$cil.$d30 cm
675 ## $a512.6$vBN$zpor$3299279
675 ## $a061.3$vBN$zpor$3292562
702 #1 $aFerreirim,$bIsabel Maria André,$f1961-$4557$336247
702 #1 $aCarvalho,$bJulia Vaz de$4557$3297511
710 02 $aWorkshop Dualities, interpretability and ordered structures,$eLisbon,$f1997$3949476
966 ## $lBN$mFGMON$sS.A. 94644 V.$x1
966 ## $lBN$mFGMON$sS.A. 94644 V.$x1