Three views of logic : mathematics, philosophy, and computer science - Loveland, Donald W.; Hodel, Richard E.; Sterrett, S. G. (New Jersey : Princeton University Press, 2014)
Includes bibliographical references and index.
Keywords: Proof theory; Computable functions