
Essays in the Philosophy and History of Logic and Mathematics
Roman Murawski
₹4,950

Problems of Completeness and Decidability, Godel's Theorems: 286
Springer Nature · 2010
Free delivery. Nothing extra to pay at checkout.
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Godel's Theorems: 286 by Roman Murawski is a 404-page book published by Springer Nature in 2010.
Topics covered include Philosophy, Philosophy (General), Symbolic and mathematical Logic and Logic.