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