Fedor
/
Nederlandse-Bibliografie-Totaal-NBT
/
Login
Register
Netwerk Digitaal Erfgoed
Nederlandse Bibliografie Totaal (NBT)
Browser
Triples
Insights
Schema
BETA
Class frequency
Class hierarchy
SPARQL
Graphs
1
Services
2
2e06f88c8aa625a413a95b21eed6781b
2e06f88c8aa625a413a95b21eed6781b
AboutPage
https://data.netwerkdigitaalerfgoed.nl/.well-known/genid/2e06f88c8aa625a413a95b21eed6781b
Recursive functions and metamathematics : problems of completeness and decidability, Gödel's theorems / Roman Murawski ; [transl. from the Polish]
mainEntityOfPage
2e06f88c8aa625a413a95b21eed6781b
AboutPage
https://data.netwerkdigitaalerfgoed.nl/.well-known/genid/2e06f88c8aa625a413a95b21eed6781b
ppn
18517955X
http://www.w3.org/2001/XMLSchema#string
dateCreated
1999-08-27
http://www.w3.org/2001/XMLSchema#date
isPartOf
nbt
license
1-0/
mainEntity
Recursive functions and metamathematics : problems of completeness and decidability, Gödel's theorems / Roman Murawski ; [transl. from the Polish]
type
AboutPage
sameAs
p18517955X