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