The works of Gödel, Tarski, Kleene and Church are fundamental to our understanding of the foundations of mathematics. In Deducibility and Decidability, their results and significance are presented in a new, unified manner.
Tracing development of scientific sociology from Comte onwards, this book provides a narrative history of figures, ideas, and schools that lie behind ..