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
p140489924
p140489924
http://data.bibliotheken.nl/id/thes/p140489924
Recursive functions and metamathematics : problems of completeness and decidability, Gödel's theorems / Roman Murawski ; [transl. from the Polish]
Essays in the philosophy and history of logic and mathematics / Roman Murawski ; forew. Jan Woleński
author
Mechanization of reasoning in a historical perspective / Witold Marciszewski and Roman Murawski
Euphony and logos : essays in honour of Maria Steffen-Batóg and Tadeusz Batóg / ed. by Roman Murawski and Jerzy Pogonowski
contributor
p140489924
http://data.bibliotheken.nl/id/thes/p140489924