Etiqueta de registo: 00959cam 2200325 450
001 331332
003 http://id.bnportugal.gov.pt/bib/catbnp/331332
005 19981229000000.0
021 ## $aPT$b48572/91
095 ## $aPTBN00347947
100 ## $a19911104d1991 m y0pory0103 ba
101 0# $apor
102 ## $aPT
105 ## $ay z 001yy
106 ## $ar
200 1# $aLógica e aritmética$e uma introdução informal aos métodos formais$fAugusto Franco de Oliveira
205 ## $a1ª ed
210 #9 $aLisboa$cGradiva,$d1991
215 ## $a204 p.$d23 cm
225 2# $aTrajectos ciência$v1
675 ## $a510/511$vBN$zpor$3478206
700 #1 $aOliveira,$bAugusto J. Franco de,$f1944-$335247
801 #0 $aPT$bBN$gRPC
966 ## $c2$lBN$mFGMON$sS.A. 71542 V.$x1
966 ## $c2$lBN$mFGMON$sS.A. 71542 V.$x1
997 ## $aBIBEOD

Etiqueta de registo: 01018cam 02200325 04500
001 1059320
003 http://id.bnportugal.gov.pt/bib/catbnp/1059320
005 20011120133600.0
010 ## $a972-662-709-5
021 ## $aPT$b156764/00
100 ## $a20010615d2000 k y0pory0103 ba
101 1# $apor$ceng
102 ## $aPT
105 ## $aa z 001yy
106 ## $ar
200 1# $aGõdel, Escher, Bach$elaços eternos$fDouglas R. Hosfstadter$gtrad. José Viegas Filho, Augusto J. Franco de Oliveira
205 ## $a1ª ed
210 #9 $aLisboa$cGradiva,$d2000
215 ## $aLII, 819, [3] p.$cil.$d24 cm
225 2# $aCiência aberta$v109
304 ## $aTít. orig.: Gödel, Escher, Bach: an eternal golden braid
320 ## $aBibliografia, p. 789-805
675 ## $a165$vBN$zpor$3290017
675 ## $a510.6$vBN$zpor$3801896
675 ## $a004$vBN$zpor$3942301
675 ## $a78$vBN$zpor$3288149
700 #1 $aHofstadter,$bDouglas R.$3331169
702 #1 $aViegas Filho,$bJosé$4730$3174532
702 #1 $aOliveira,$bAugusto J. Franco de,$f1944-$4730$335247
966 ## $lBN$mFGMON$sS.A. 98071 V.$x1
966 ## $lBN$mFGMON$sS.A. 98071 V.$x1

Etiqueta de registo: 00000nam 2200025 450
001 1849131
003 http://id.bnportugal.gov.pt/bib/catbnp/1849131
100 ## $a20130910d2012 k y0pory01030103ba
101 0# $apor$deng
102 ## $aPT
105 ## $aa m 001yd
106 ## $ar
200 1# $a A personalidade científica de António Gião$fJosé Carlos Brandão Tiago de Oliveira$gorient. Augusto J. Franco de Oliveira, Manuel da Costa Leite
210 #9 $aÉvora$c[s.n.],$d2012
215 ## $a2 v.$cil.$d30 cm
320 ## $aContém bibliografia
328 #1 $aTese dout. História e Filosofia da Ciência, Univ. de Évora, 2012
675 ## $a929Gião, António(043)$vBN$zpor$31548785
675 ## $a5Gião, António(043)$vBN$zpor$31548786
700 #1 $aOliveira,$bJosé Carlos Brandão Tiago de,$f1954-$352709
702 #1 $aOliveira,$bAugusto J. Franco de,$f1944-$4727$335247
702 #1 $aLeite,$bManuel da Costa$4727$3300676
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sH.G. 39703 P.$x1
966 ## $b001$d1º v.$lBN$mFGMON$sH.G. 65570 V.$x1
966 ## $b001$d2º v.$lBN$mFGMON$sH.G. 65571 V.$x1

Etiqueta de registo: 00915cam 2200313 450
001 950651
003 http://id.bnportugal.gov.pt/bib/catbnp/950651
005 19990617000000.0
010 ## $a972-674-224-2
021 ## $aPT$b115360/97
095 ## $aPTBN00965091
100 ## $a19980323d1997 k y0pory0103 ba
101 0# $apor
102 ## $aPT
105 ## $aa j 001yy
106 ## $ar
200 1# $aTransformações geométricas$fA. J. Franco de Oliveira
210 #9 $aLisboa$cUniversidade Aberta,$d1997
215 ## $a229, [1] p.$cil.$d31 cm
225 2# $aUniversidade Aberta$v139
320 ## $aBibliografia, p. 221-222
675 ## $a514(075.8)$vBN$zpor$3489304
700 #1 $aOliveira,$bAugusto J. Franco de,$f1944-$335247
801 #0 $aPT$bBN$gRPC
966 ## $c2$lBN$mFGMON$sS.A. 85922 V.$x1
966 ## $c2$lBN$mFGMON$sS.A. 85922 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1791676
003 http://id.bnportugal.gov.pt/bib/catbnp/1791676
010 ## $a978-989-8247-16-2
021 ## $aPT$b320125/10
100 ## $a20111014d2010 m y0pory0103 ba
101 0# $apor
102 ## $aPT
105 ## $aa z 000yy
106 ## $ar
200 1# $aFilosofia da matemática$ebreve antologia de textos de filosofia da matemática de Henri Poincaré$fHenri Poincaré$gorg. e ed. Augusto J. Franco de Oliveira
210 #9 $aLisboa$cCFCUL,$d 2010
215 ## $a280 p.$cil.$d21 cm
225 2# $aCaderno de filosofia das ciências$v10
320 ## $aBibliografia, p. 269-276
675 ## $a164(042)$vBN$zpor$31349877
675 ## $a510.21(042)$vBN$zpor$31502861
700 #1 $aPoincaré,$bHenri,$f1854-1912$389771
702 #1 $aOliveira,$bAugusto J. Franco de,$f1944-$4340$335247
801 #0 $aPT$bBN$gRPC
900 ## $aBIBNAC$d20111103
966 ## $lBN$mFGREV$sP.P. 28573 V.$x1
966 ## $lBN$mFGREV$sP.P. 28573 V.-D$x1

Etiqueta de registo: 00931nam 2200313 450
001 1777913
003 http://id.bnportugal.gov.pt/bib/catbnp/1777913
010 ## $a978-989-616-362-4
021 ## $aPT$b308090/10
100 ## $a20110427d2010 m y0pory0103 ba
101 0# $apor
102 ## $aPT
105 ## $ay z 001yy
106 ## $ar
200 1# $aLógica e aritmética$e uma introdução à lógica, matemática e computacional$fAugusto J. Franco de Oliveira
205 ## $a3ª ed. rev. e aument
210 #9 $aLisboa$cGradiva,$d2010
215 ## $a301 p.$d23 cm
225 2# $aTrajectos ciência$v1
320 ## $aBibliografia, p. 295-301
675 ## $a510/511$vBN$zpor$3478206
700 #1 $aOliveira,$bAugusto J. Franco de,$f1944-$335247
801 #0 $aPT$bBN$gRPC
900 ## $aBIBNAC$d20110711
966 ## $lBN$mFGMON$sS.A. 138848 V.$x1
966 ## $lBN$mFGMON$sS.A. 138848 V.-D$x1

Etiqueta de registo: 00230nam 2200025 450
001 1772027
003 http://id.bnportugal.gov.pt/bib/catbnp/1772027
010 ## $a978-989-95878-6-1
021 ## $aPT$b301963/09
100 ## $a20110218d2009 m y0pory0103 ba
101 0# $apor
102 ## $aPT
105 ## $aa z 001yy
106 ## $ar
200 1# $aHistória das matemáticas na antiguidade$fFernando de Almeida Loureiro e Vasconcellos$gcoord. e ed. Augusto J. Franco de Oliveira
205 ## $a2ª ed. rev
210 #9 $aLisboa$cLudus,$d2009
215 ## $a472 p.$cil.$d25 cm
320 ## $aBibliografia, p. 460-468
675 ## $a51(091)$vBN$zpor$3300377
700 #1 $aVasconcelos,$bFernando de Almeida Loureiro e,$f1874-1944$3116726
702 #1 $aOliveira,$bAugusto J. Franco de,$f1944-$4340$335247
801 #0 $aPT$bBN$gRPC
900 ## $aBIBNAC$d20120130
966 ## $lBN$mFGMON$sS.A. 139915 V.$x1
966 ## $lBN$mFGMON$sS.A. 139915 V.-D$x1

Etiqueta de registo: 00230nam 2200025 450
001 1763766
003 http://id.bnportugal.gov.pt/bib/catbnp/1763766
010 ## $a978-972-98656-9-5
010 ## $a978-989-8243-00-3
010 ## $a978-989-8243-01-0
010 ## $a978-989-8243-05-8
010 ## $a978-989-8601-44-5
021 ## $aPT$b298107/09
021 ## $aPT$b315736/10
021 ## $aPT$b315736/11
021 ## $aPT$b372729/14
100 ## $a20101126d20099999m y0pory01030103ba
101 1# $apor
102 ## $aPT
105 ## $aa j 000yy
106 ## $ar
200 1# $aMatemática elementar de um ponto de vista superior$fFelix Klein$gpref. José Francisco Rodrigues$gtrad. Tiago Pedro, Suzana Metello de Nápoles$grev. Maria Cândida Paulo, Helena Ramos
205 ## $a1ª ed
210 #9 $aLisboa$cSociedade Portuguesa de Matemática,$d2009-
215 ## $av.$cil.$d21 cm
225 2# $aLeituras em matemática$v6, 10, 11, 12, 13
327 0# $a1º v.: Aritmética. - 116 p.$a1º v., 2ª pt.: Álgebra / trad. Joaquim Eurico Nogueira ; rev. Gabriela Hauser Bordalo, Maria Cândida Palma ; rev. de texto Helena Ramos. - 2010. - 102 p.$a1º v., 3ª pt.: Análise / trad. Maria Cândida Palma, Pedro Seixas Palma ; rev. José Francisco Rodrigues, Helena Ramos. - 2011. - 140 p.$a2º v., 1ª e 2ª pt.: Geometria / trad. Maria Cândida Palma ; rev. David Raimundo, Helena Ramos ; colab. José Francisco Rodrigues, Arsélio Martins. - 2012. - 189 p.$a2º v., 3ª pt.: Geometria / trad. Maria Cândida Palma ; rev. Augusto Franco Oliveira, Helena Ramos. - 2014. - 112 p.
517 1# $aAritmética
517 1# $aÁlgebra
517 1# $aAnálise
517 1# $aGeometria
606 ## $aMatemática$j[Manuais de ensino superior]$2SIPOR$31046755
675 ## $a51(075.8)$vBN$zpor$3381352
700 #1 $aKlein,$bFélix,$f1849-1925$3597568
702 #1 $aPaulo,$bMaria Cândida$4675$31442677
702 #1 $aPedro,$bTiago$4730$31442676
702 #1 $aRodrigues,$bJosé,$f1914-$4080$391937
702 #1 $aNápoles,$bSusana Metelo de,$f1949-$4730$3257217
702 #1 $aRamos,$bHelena$4675$381941
702 #1 $aNogueira,$bJoaquim Eurico$4730$31290235
702 #1 $aBordalo,$bGabriela,$f1949-$4675$3812032
702 #1 $aPalma,$bMaria Cândida Santos Fronteira e Silva de Seixas,$f1944-$4675$31266061
702 #1 $aPalma,$bPedro Seixas$4730$31479849
702 #1 $aRaimundo,$bDavid Simão Cóias,$f1984-$4675$31550627
702 #1 $aMartins,$bArsélio,$f1947-$4205$31565990
702 #1 $aOliveira,$bAugusto J. Franco de,$f1944-$4675$335247
801 #0 $aPT$bBN$gRPC
856 41 $uhttp://rnod.bnportugal.gov.pt/ImagesBN/winlibimg.aspx?skey=&doc=1763766&img=44258&save=true
900 ## $aBIBNAC$d20140709
966 ## $b001$d1º v.$e3ª pt.$lBN$mFGMON$sC.G. 21183 V.$x1
966 ## $b001$d2º v.$e3ª pt.$lBN$mFGMON$sC.G. 21183 V.$x1
966 ## $b001$d2º v.$e1ª-2ª pt.$lBN$mFGMON$sC.G. 21183 V.$x1
966 ## $b001$d1º v.$lBN$mFGMON$sC.G. 21183 V.$x1
966 ## $b001$d1º v.$e2ª pt.$lBN$mFGMON$sC.G. 21183 V.$x1
966 ## $b001$d1º v.$e3ª pt.$lBN$mFGMON$sC.G. 21183 V.-D$x1
966 ## $b001$d2º v.$e3ª pt.$lBN$mFGMON$sC.G. 21183 V.-D$x1
966 ## $b001$d1º v.$lBN$mFGMON$sC.G. 21183 V.-D$x1
966 ## $b001$d2º v.$e1ª-2ª pt$lBN$mFGMON$sC.G. 21183 V.-D$x1

Etiqueta de registo: 00230nam 2200025 450
001 1561291
003 http://id.bnportugal.gov.pt/bib/catbnp/1561291
010 ## $a972-99794-0-5
021 ## $aPT$b233195/05
100 ## $a20070118d2005 m y0pory0103 ba
101 0# $apor
102 ## $aPT
105 ## $aa z 001yy
106 ## $ar
200 1# $aCartas de Edmundo Curvelo a Joaquim de Carvalho (1947-1953) e outros inéditos$fintrod. e ed. Augusto J. Franco de Oliveira
210 #9 $aLisboa$cCentro de Filosofia das Ciências da Universidade de Lisboa,$d2005
215 ## $a198 p.$cil.$d21 cm
225 2# $aCadernos de filosofia das ciências$v1
600 #1 $aCurvelo,$bEdmundo,$f1913-1954$xCorrespondência$2SIPOR$31322839
675 ## $a165Curvelo, Edmundo(044)$vBN$zpor$31322843
675 ## $a929Curvelo, Edmundo$vBN$zpor$31322844
675 ## $a821.134.3-6"19"$vBN$zpor$3289251
700 #1 $aCurvelo,$bEdmundo,$f1913-1954$3132661
702 #1 $aOliveira,$bAugusto J. Franco de,$f1944-$4340$335247
801 #0 $aPT$bBN$gRPC
900 ## $aBIBNAC$d20130602
966 ## $lBN$mFGREV$pPublidisa - Publicaciones Digitales, SA$sP.P. 28573 V.$x1
966 ## $lBN$mFGREV$pPublidisa - Publicaciones Digitales, SA$sP.P. 28573 V.-D$x1

Etiqueta de registo: 00230nam 2200025 450
001 1718459
003 http://id.bnportugal.gov.pt/bib/catbnp/1718459
010 ## $a978-972-31-1226-9
021 ## $aPT$b267357/07
100 ## $a20090710d2007 m y0pory0103 ba
101 0# $apor
102 ## $aPT
105 ## $aa j 000yy
106 ## $ar
200 1# $aMatemática não-standard$e uma introdução com aplicações$fAugusto J. Franco de Oliveira, Imme P. Van Den Berg
210 #9 $aLisboa$cFundação Calouste Gulbenkian - Serviço de Educação e Bolsas,$d2007
215 ## $a467, [2] p.$cil.$d23 cm
320 ## $aBibliografia, p. 441-460
606 ## $aMatemática$j[Manuais de ensino superior]$2SIPOR$31046755
675 ## $a51(075.8)$vBN$zpor$3381352
700 #1 $aOliveira,$bAugusto J. Franco de,$f1944-$335247
701 #1 $aBerg,$bImme van den$4070$31216653
801 #0 $aPT$bBN$gRPC
900 ## $aBIBNAC$d20091014
966 ## $lBN$mFGMON$sS.A. 127262 V.$x1
966 ## $lBN$mFGMON$sS.A. 127262 V.-D$x1

Etiqueta de registo: 00230nam 2200025 450
001 1694509
003 http://id.bnportugal.gov.pt/bib/catbnp/1694509
100 ## $a20081023d2003 k y0pory0103 ba
101 0# $apor$deng
102 ## $aPT
105 ## $ay m 001yy
106 ## $ar
200 1# $a O problema da completude nas semânticas intuicionistas$bTexto policopiado]$fDulce Helena Marques Fernandes da Costa$gorient. Imme van den Berg, Augusto Franco de Oliveira
210 #9 $aÉvora$c[s.n.],$d2003 [D.L. 2007]
215 ## $a97 f.$d30 cm$eerrata (3 f.)
320 ## $aBibliografia f. 97
328 ## $bTese mestr.$cMatemática Aplicada$eUniv. de Évora$d2003
675 ## $a519.76(043)$vBN$zpor$31237623
700 #1 $aCosta,$bDulce Helena Marques Fernandes da$31348239
702 #1 $aBerg,$bImme van den$4727$31216653
702 #1 $aOliveira,$bAugusto J. Franco de,$f1944-$4727$335247
712 02 $aUniversidade de Évora$4295$320062
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 123561 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1672984
003 http://id.bnportugal.gov.pt/bib/catbnp/1672984
100 ## $a20071127d2005 k y0pory0103 ba
101 0# $apor$deng
102 ## $aPT
105 ## $aa v 001yy
106 ## $ar
200 1# $aEmergência e colapso de poder$bTexto policopiado]$fFrancisco Manuel Gonçalves Coelho$gorient. Helder Manuel Ferreira Coelho, co-orient. Augusto José Franco de Oliveira
210 #9 $aLisboa$c[s.n.],$d2005
215 ## $a[6], XIII, 155 p.$cil.$d30 cm$ecurriculum vitae (4 f.)
320 ## $aBibliografia, p. 125-133
328 #0 $bTese dout.$cEstatística Operacional$eDepart. Estatística e Investigação Operacional, Fac. Ciências, Univ. Lisboa$d2005
675 ## $a004.89(043)$vBN$zpor$3911648
675 ## $a159.947(043)$vBN$zpor$31222208
700 #1 $aCoelho,$bFrancisco Manuel Gonçalves,$f1968-$31309699
702 #1 $aOliveira,$bAugusto J. Franco de,$f1944-$4727$335247
702 #1 $aCoelho,$bHélder,$f1948-$4727$374311
712 02 $aUniversidade de Lisboa.$bFaculdade de Ciências.$bDepartamento de Informática$4295$31231437
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 23767 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1376658
003 http://id.bnportugal.gov.pt/bib/catbnp/1376658
100 ## $a20060724d2004 k y0pory0103 ba
101 0# $apor$deng
102 ## $aPT
105 ## $ay m 001yy
106 ## $ar
200 1# $aCaminhos para uma fundamentação da geometria não-arquimediana$bTexto policopiado]$fPaulino Lima Fortes$gorient. Augusto José Franco de Oliveira
210 #9 $aÉvora$c[s.n.],$d2004
215 ## $aXX, [2], 284 p.$d30 cm
320 ## $aBibliografia, p. 281-284
328 #0 $bTese dout.$cMatemática$eUniv. de Évora$d2004
675 ## $a514.7(043)$vBN$zpor$3302891
700 #1 $aFortes,$bPaulino Lima$31249221
702 #1 $aOliveira,$bAugusto J. Franco de,$f1944-$4727$335247
712 02 $aUniversidade de Évora$4295$320062
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 115531 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1380140
003 http://id.bnportugal.gov.pt/bib/catbnp/1380140
100 ## $a20060908d2004 k y0pory0103 ba
101 0# $apor$deng
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $a Os infinitésimos actuais e a caracterização do contínuo conexo$bTexto policopiado]$fJosé Manuel Soares Chagas Roquette$gorient. Augusto José Franco de Oliveira, Fernando Paulo Estrela de Pinho e Almeida
210 #9 $aLisboa$c[s.n.],$d2004
215 ## $aIII, 53 p.$ccil.$d30 cm
320 ## $aBibliografia, p. 52-53
328 #0 $bTese dout.$cMatemática$eInst. Superior Técnico, Univ. Técnica de Lisboa$d2004
675 ## $a514(043)$vBN$zpor$31265266
700 #1 $aRoquette,$bJosé Manuel Soares Chagas$31258155
702 #1 $aOliveira,$bAugusto J. Franco de,$f1944-$4727$335247
702 #1 $aAlmeida,$bFernando Pinho de,$f1947-$4727$3219074
712 02 $aUniversidade Técnica de Lisboa.$bInstituto Superior Técnico$4295$3175770
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 113826 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1383976
003 http://id.bnportugal.gov.pt/bib/catbnp/1383976
010 ## $a989-616-073-2
021 ## $aPT$b233397/05
100 ## $a20061024d2005 m y0pory0103 ba
101 1# $apor$ceng
102 ## $aPT
105 ## $aa z 001yy
106 ## $ar
200 1# $aE$ehistória de um número$fEli Maor$gtrad., coord. Augusto J. Franco de Oliveira
205 ## $a1ª ed
210 #9 $aLisboa$cGradiva,$d2005
215 ## $a266 p.$cil.$d23 cm
225 2# $aTrajectos.$eCiência$v7
304 ## $aTít. orig.: e: the story of a number
320 ## $aBibliografia, p. 253-256
675 ## $a511$vBN$zpor$3295052
675 ## $a001.92$vBN$zpor$3295217
700 #1 $aMaor,$bEli$3436011
702 #1 $aOliveira,$bAugusto J. Franco de,$f1944-$4730$335247
801 #0 $aPT$bBN$gRPC
900 ## $aBIBNAC$d20130602
966 ## $lBN$mFGMON$pMultitipo - Artes Gráficas, Lda$sS.A. 114147 V.$x1
966 ## $lBN$mFGMON$pMultitipo - Artes Gráficas, Lda$sS.A. 114147 V.-D $x1

Etiqueta de registo: 00931cam 22003133 450
001 638164
003 http://id.bnportugal.gov.pt/bib/catbnp/638164
005 19990105000000.0
010 ## $a972-662-504-1
021 ## $aPT$b103864/96
095 ## $aPTBN00849796
100 ## $a19970111d1996 m y0pory0103 ba
101 0# $apor
102 ## $aPT
105 ## $ay z 001yy
106 ## $ar
200 1# $aLógica e aritmética$e uma introdução informal aos métodos formais$fAugusto J. Franco de Oliveira
205 ## $a2ª ed. rev. e aum
210 #9 $aLisboa$cGradiva,$d1996
215 ## $a277 p.$d23 cm
225 2# $aTrajectos ciência$v1
675 ## $a510/511$vBN$zpor$3478206
700 #1 $aOliveira,$bAugusto J. Franco de,$f1944-$335247
801 #0 $aPT$bBN$gRPC
966 ## $c2$lBN$mFGMON$sS.A. 82761 V.$x1
966 ## $c2$lBN$mFGMON$sS.A. 82761 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1898421
003 http://id.bnportugal.gov.pt/bib/catbnp/1898421
010 ## $a978-972-44-1850-6
021 ## $aPT$b394865/15
100 ## $a20150414d2015 k y0pory01030103ba
101 1# $apor$ceng
102 ## $aPT
105 ## $ay z 001yy
106 ## $ar
200 1# $aFilosofia da matemática$fStewart Shapiro$gtrad. e notas de Augusto J. Franco de Oliveira
210 #9 $aLisboa$cEdições 70,$d2015
215 ## $a438 p.$d22 cm
225 2# $a O saber da filosofia$v42
304 ## $aTít. orig.: Thinking about mathematics
320 ## $aBibliografia, p. 407-420
675 ## $a164(091)$vBN$zpor$3426811
675 ## $a510.21(091)$vBN$zpor$31625383
700 #1 $aShapiro,$bStewart,$f1951-$31605841
702 #1 $aOliveira,$bAugusto J. Franco de,$f1944-$4730$335247
801 #0 $aPT$bBN$gRPC
856 41 $uhttp://rnod.bnportugal.gov.pt/ImagesBN/winlibimg.aspx?skey=&doc=1898421&img=67617&save=true
900 ## $aBIBNAC$d20151111
966 ## $lBN$mFGMON$sS.A. 159672 V.$x1
966 ## $lBN$mFGMON$sS.A. 159672 V.-D$x1

Etiqueta de registo: 01120cam 2200349 450
001 266077
003 http://id.bnportugal.gov.pt/bib/catbnp/266077
005 19981206225900.0
021 ## $aPT$b44178/91
095 ## $aPTBN00276743
100 ## $a19910417d1991 m y0pory0103 ba
101 1# $apor$cfre
102 ## $aPT
105 ## $aac z 001yy
200 1# $aMatéria pensante$fJean-Pierre Changeaux, Alain Connes$gtrad. Carlos Lourenço e Ana Paula Oliveira$grev. científica Augusto J. Franco de Oliveira
205 ## $a1ª ed
210 #9 $aLisboa$cGradiva,$d1991
215 ## $a277 p.$cil.$d21 cm
225 2# $aCiência aberta$v46
304 ## $aTít. orig.: Matiére à pensée
675 ## $a573$vBN$zpor$3292077
675 ## $a51$vBN$zpor$3288051
700 #1 $aChangeux,$bJean-Pierre,$f1936-$3160159
701 #1 $aConnes,$bAlain$4070$3160160
702 #1 $aLourenço,$bCarlos$4730$3160161
702 #1 $aOliveira,$bAna Paula$4730$367922
702 #1 $aOliveira,$bAugusto J. Franco de,$f1944-$4650$335247
801 #0 $aPT$bBN$gRPC
966 ## $c2$lBN$mFGMON$sS.A. 70580 V.$x1
966 ## $c2$lBN$mFGMON$sS.A. 70580 V.$x1
997 ## $aBIBEOD

Etiqueta de registo: 00905cam 2200253 450
001 261099
003 http://id.bnportugal.gov.pt/bib/catbnp/261099
005 19981206180100.0
095 ## $aPTBN00271626
100 ## $a19910426d1989 k y0pory0103 ba
101 0# $apor
102 ## $aPT
105 ## $ay m 001aa
106 ## $ar
200 1# $aFundamentos da matemática não-standard e aplicações lógica-matemáticas$bTexto policopiado]$fAugusto José Franco de Oliveira
210 #9 $aLisboa$c[s.n.],$d1989
215 ## $aV, 183 p.$d28 cm
320 ## $aBibliografia, p. 167-183
328 ## $aTese de doutoramento em Matemática, especialidade de Álgebra, Lógica e Fundamentos apresentada à Fac. de Ciências da Univ. de Lisboa
675 ## $a51(043)$vBN$zpor$3323829
700 #1 $aOliveira,$bAugusto J. Franco de,$f1944-$335247
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 70562 V.$x1

Etiqueta de registo: 00722cam 02200265 04500
001 118755
003 http://id.bnportugal.gov.pt/bib/catbnp/118755
005 19981121001200.0
095 ## $aPTBN00124185
100 ## $a19890405d1988 k y0pora0103 ba
101 0# $apor
102 ## $aPT
105 ## $aa z 001yy
106 ## $ar
200 1# $aGeometria$fA. J. Franco de Oliveira
205 ## $aEd. corrigida
210 #9 $aÉvora$cUniversidade,$d1988
215 ## $a[6], 162, 14 p.$cil.$d27 cm
320 ## $aBibliografia p. 161
675 ## $a514$vBN$zpor$3292041
700 #1 $aOliveira,$bAugusto J. Franco de,$f1944-$335247
801 #0 $aPT$bBN$gRPC
966 ## $c2$lBN$mFGMON$sS.A. 67240 V.$x1
966 ## $c2$lBN$mFGMON$sS.A. 67240 V.$x1
997 ## $aBIBEOD

Etiqueta de registo: 00698cam 22002291 450
001 35828
003 http://id.bnportugal.gov.pt/bib/catbnp/35828
005 19990421152900.0
095 ## $aPTBN00036815
100 ## $a19890615d1987 k y0pory0103 ba
101 0# $apor
102 ## $aPT
200 1# $aInfinitesimais-passado, presente e futuro$e a análise não-standard de A. Robinson$e uma introdução$fA. J. Franco de Oliveira
210 #9 $aÉvora$cUniversidade,$d1987
215 ## $a[6], 106 p.$d25 cm
675 ## $a517.3$vmed$zpor$3300161
675 ## $a517.5$vmed$zpor$3299285
700 #1 $aOliveira,$bAugusto J. Franco de,$f1944-$335247
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 65141 V.
997 ## $aBIBEOD
998 ## $aBN010-323

Etiqueta de registo: 00796cam 02200265 04500
001 34670
003 http://id.bnportugal.gov.pt/bib/catbnp/34670
005 19981112143400.0
095 ## $aPTBN00035636
100 ## $a19830601d1982 m y0pora0103 ba
101 0# $apor
102 ## $aPT
200 1# $aTeoria de conjuntos$eintuitiva e axiomática (ZFC)$fA. J. Franco de Oliveira
210 #9 $aLisboa$cEscolar,$dimp. 1982
215 ## $a[2], XIII, 351 p.$cil.$d23 cm
675 ## $a510.2(075)$vmed$zpor$3299275
700 #1 $aOliveira,$bAugusto J. Franco de,$f1944-$335247
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 60116 V.
997 ## $aBIBEOD
998 ## $aFSE66 - 00444

Etiqueta de registo: 01392cam 2200397 450
001 992676
003 http://id.bnportugal.gov.pt/bib/catbnp/992676
005 20010219155100.0
010 ## $a972-662-579-3
021 ## $aPT$b117468/97
095 ## $aPTBN01004935
100 ## $a19980803d1997 m y0pory0103 ba
101 1# $apor$ceng
102 ## $aPT
105 ## $aa z 001yy
106 ## $ar
200 1# $a A mente virtual$esobre computadores, mentes e as leis da física$dThe emperor's new mind$fRoger Penrose$gpref. Martin Gardner$gtrad. Augusto José Franco de Oliveira, Carlos Lourenço, Luís Teixeira da Costa$zeng
205 ## $a1ª ed
210 #9 $aLisboa$cGradiva,$d1997
215 ## $a606, [2] p.$cil.$d21 cm
225 2# $aCiência aberta$v93
304 ## $aTít. orig. The emperor's new mind concerning computers, minds, and laws of physics
320 ## $aBibliografia, p. 598-599
510 1# $a The emperor's new mind$zeng
675 ## $a007.52$vBN$zpor$3356065
700 #1 $aPenrose,$bRoger$3190848
702 #1 $aCosta,$bLuís Teixeira$4730$3793768
702 #1 $aGardner,$bMartin,$f1914-2010$4080$340281
702 #1 $aLourenço,$bCarlos$4730$3160161
702 #1 $aOliveira,$bAugusto J. Franco de,$f1944-$4730$335247
801 #0 $aPT$bBN$gRPC
966 ## $c2$lBN$mFGMON$sP. 13573 V.$x1
966 ## $c2$lBN$mFGMON$sP. 13573 V.$x1

Etiqueta de registo: 00593cam 2200205 450
001 1233112
003 http://id.bnportugal.gov.pt/bib/catbnp/1233112
010 ## $a972-662-927-6
021 ## $aPT$b199892/03
100 ## $a20040303d2003 k y0pory0103 ba
101 1# $apor$cger
102 ## $aPT
105 ## $ay m 001yy
106 ## $ar
200 1# $aFundamentos da geometria$fDavid Hilbert$grev. cient. e coord. A. J. Franco de Oliveira
205 ## $a1ª ed
210 #9 $aLisboa$cGradiva,$d2003
215 ## $a338, [1] p.$d23 cm
225 2# $aTrajectos ciência$v6
675 ## $a514$vBN$zpor$3292041
700 #1 $aHilbert,$bDavid,$f1862-1943$341397
702 #1 $aOliveira,$bAugusto J. Franco de,$f1944-$4675$335247
900 ## $aBIBNAC$d20130602
966 ## $lBN$mFGMON$sS.A. 107527 V.$x1
966 ## $lBN$mFGMON$sS.A. 107527 V.$x1

Etiqueta de registo: 01018nam 02200325 04500
001 1865989
003 http://id.bnportugal.gov.pt/bib/catbnp/1865989
010 ## $a978-989-616-560-4
021 ## $aPT$b367497/13
100 ## $a20140305d2013 k y0pory0103 ba
101 1# $apor$ceng
102 ## $aPT
105 ## $aa z 001yy
106 ## $ar
200 1# $aGõdel, Escher, Bach$elaços eternos$fDouglas R. Hofstadter$gtrad. José Viegas Filho, Augusto J. Franco de Oliveira$grev. António Araújo
205 ## $a2ª ed
210 #9 $aLisboa$cGradiva,$d2013
215 ## $aLII, 821 p.$cil.$d24 cm
225 2# $aCiência aberta$v109
304 ## $aTít. orig.: Gödel, Escher, Bach: an eternal golden braid
320 ## $aBibliografia, p. 791-804
675 ## $a165$vBN$zpor$3290017
675 ## $a510.6$vBN$zpor$3801896
675 ## $a004$vBN$zpor$3942301
675 ## $a78$vBN$zpor$3288149
700 #1 $aHofstadter,$bDouglas R.$3331169
702 #1 $aViegas Filho,$bJosé$4730$3174532
702 #1 $aOliveira,$bAugusto J. Franco de,$f1944-$4730$335247
702 #1 $aAraújo,$bAntónio de Sousa,$f1941-$4675$36219
801 #0 $aPT$bBN$gRPC
856 41 $uhttp://rnod.bnportugal.gov.pt/ImagesBN/winlibimg.aspx?skey=&doc=1865989&img=40069&save=true
900 ## $aBIBNAC$d20140324
966 ## $lBN$mFGMON$sS.A. 153291 V.$x1
966 ## $lBN$mFGMON$sS.A. 153291 V.-D$x1

Etiqueta de registo: 00000nam 2200025 450
001 2061375
003 http://id.bnportugal.gov.pt/bib/catbnp/2061375
010 ## $a978-989-616-996-1
021 ## $aPT$b473550/20
100 ## $a20201211d2020 k y0pory01030103ba
101 1# $apor$ceng
102 ## $aPT
105 ## $ay z 000yy
106 ## $ar
200 1# $aIntrodução ao pensamento matemático$fKeith Devlin$gtrad. Augusto J. Franco de Oliveira
205 ## $a1ª ed
210 #9 $aLisboa$cGradiva,$d2020
215 ## $a121 p.$d21 cm
304 ## $aTít. orig.: Introduction to mathematical thinking
675 ## $a51$vBN$zpor$3288051
700 #1 $aDevlin,$bKeith$3159694
702 #1 $aOliveira,$bAugusto J. Franco de,$f1944-$4730$335247
801 #0 $aPT$bBN$gRPC
856 41 $uhttp://rnod.bnportugal.gov.pt/ImagesBN/winlibimg.aspx?skey=&doc=2061375&img=146048&save=true
900 ## $aBIBNAC$d20201218
966 ## $lBN$mFGMON$sS.A. 175912 V.$x1
966 ## $lBN$mFGMON$sS.A. 175912 V.-D$x1