Three views of logic : mathematics, philosophy, and computer science / Donald W. Loveland, Richard E. Hodel, S. G. Sterrett, Loveland, Donald W. Hodel, Richard E. jt. aut. Sterrett, S. G. jt. aut. Proof theory Computable functions 511.3 LOT Includes bibliographical references and index. New Jersey : Princeton University Press, 2014 2014 Text xv, 322 p. : eng