Library Logo
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
Last Updated on September 15, 2019
© Dhaka University Library. All Rights Reserved|Staff Login