Logic, Foundations of Mathematics, and Computability Theory

by Robert E. Butts, Jaakko Hintikka