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.