Etiqueta de registo: 00254nam 2200025 450
001 2160729
003 http://id.bnportugal.gov.pt/bib/catbnp/2160729
100 ## $a20240312d2023 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aOn notions of provability$fPaulo Guilherme Domingos Canha Moreira dos Santos$gadvisers Isabel Maria Oitavem Fonseca de Rocha Kahle, Reinhard Josef Klaus Kahle
210 #9 $aLisbon$c[s.n.],$d2023
215 ## $aXVI, 147 p.$cil.$d30 cm
328 #1 $aTese dout. Mathematics and Computer Science, Univ. of Lisbon, Univ. of Tübingen, 2023
675 ## $a511(043)$vBN$zpor$3337085
700 #1 $aSantos,$bPaulo Guilherme Domingos Canha Moreira dos$31909984
702 #1 $aKahle,$bIsabel Maria Oitavem Fonseca de Rocha$4727$31909985
702 #1 $aKahle,$bReinhard,$f1967-$4727$31355722
801 #0 $aPT$bBN$gRPC
856 40 $2Cópia digital disponível no Repositório Universidade Nova de Lisboa$uhttp://hdl.handle.net/10362/156983
966 ## $lBN$mFGMON$sS.A. 187754 V.$x1
971 ## $casantos$d20240312
972 ## $e0$z0$d20240513$vmsebas
973 ## $cigoulao$d20240418
975 ## $e0$d20240619$viraminhos