Etiqueta de registo: 00167nx a22000853 45
001 157297
003 http://id.bnportugal.gov.pt/aut/catbnp/157297
095 ## $aPTBN00124895
100 ## $a19941205apory0103 ba0
152 ## $aRPC
200 #1 $aGodel,$bKurt,$f1906-1978
801 #0 $aPT$bBN
830 ## $aDout. Completude do Cálculo de Predicados de 1ª Ordem
ver registos bibliográficos associados