00000cam a22000004i 4500 UP-99796217611795687 Buklod 20230619154520.0 m o j ta 130828t20142014njua rb |001 0|eng d 9780691160443 (iLib)UPD-00249808691 DLC DMLS rda eng DMLUC QA 9.54 L68 2014 Loveland, Donald W. author. Three views of logic mathematics, philosophy, and computer science Donald W. Loveland, Richard E. Hodel, S.G. Sterrett. Princeton, New Jersey Princeton University Press [2014] xv, 322 pages illustrations 26 cm text rdacontent unmediated rdamedia volume rdacarrier Includes bibliographical references and index. Proof theory. Computable functions. Nonclassical mathematical logic. Hodel, Richard E. author. Sterrett, Susan G. author. Book http://press.princeton.edu/TOCs/c10168.html Table of contents only FO UPD DMLS QA 9.54 L68 2014 Book