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