The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland
Roman Murawski
Download - Immediately Available
Format: eBook (PDF)
Recursive Functions and Metamathematics : Problems of Completeness and Decidability, Godel's Theorems
Roman Murawski
Download - Immediately Available
Format: eBook (PDF)