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
Funkcje rekurencyjne i elementy metamatematyki
Funkcje rekurencyjne i elementy metamatematyki
CreativeWork
https://data.netwerkdigitaalerfgoed.nl/.well-known/genid/5fda723be798e07b3742a5021d25fc88
Recursive functions and metamathematics : problems of completeness and decidability, Gödel's theorems / Roman Murawski ; [transl. from the Polish]
translationOfWork
Funkcje rekurencyjne i elementy metamatematyki
CreativeWork
https://data.netwerkdigitaalerfgoed.nl/.well-known/genid/5fda723be798e07b3742a5021d25fc88
inLanguage
pl
http://www.w3.org/2001/XMLSchema#string
type
CreativeWork
label
Funkcje rekurencyjne i elementy metamatematyki
http://www.w3.org/2001/XMLSchema#string