Etiqueta de registo: 00000nx a22000253 45
001 1770145
003 http://id.bnportugal.gov.pt/aut/catbnp/1770145
100 ## $a20191204apory0103 ba0
102 ## $aPT
152 ## $aRPC
200 #1 $aPinto,$bPedro,$f1989-
400 #1 $aPinto,$bPedro Miguel dos Santos $31770146
801 #0 $aPT$bBN
810 ## $aProof mining with the bounded functional interpretation
830 ## $aDout. Matemática (Álgebra, Lógica e Fundamentos)
ver registos bibliográficos associados