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.
Read More
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.
Read Less
