Computability and logic /

This book is intended for the student in philosophy or pure or applied mathematics who has mastered the material ordinarily covered in a first course in logic and who wishes to advance his or her acquaintance with the subject. The aim of the book is to present the principal fundamental theoretical r...

Full description

Bibliographic Details
Main Author: Boolos, George
Other Authors: Jeffrey, Richard C
Format: Book
Language:English
Published: Cambridge ; New York : Cambridge University Press, 1989
Cambridge ; New York : 1989, (1992 printing)
Cambridge [England] ; New York : 1989
Cambridge [England] ; New York : 1989
Cambridge ; New York : 1989
Edition:3rd ed
Subjects:

Internet

Stanford University

Holdings details from Stanford University
Call Number: QA9.59 .B66 1989

Yale University

Holdings details from Yale University
Call Number: QA9.59 B66 1992

University of Chicago

Holdings details from University of Chicago
Call Number: QA9.59.B660 1989

Massachusetts Institute of Technology

Holdings details from Massachusetts Institute of Technology
Call Number: QA9.59.B66 1989

Johns Hopkins University

Holdings details from Johns Hopkins University
Call Number: QA248.5 .B66 1989

Harvard University

Holdings details from Harvard University
Call Number: QA9.59 .B66 1989

Duke University

Holdings details from Duke University
Call Number: QA9.59 .B66 1989

Dartmouth College

Holdings details from Dartmouth College
Call Number: QA9.59 .B66 1989

Cornell University

Holdings details from Cornell University
Call Number: QA9.59 .B66 1989

Princeton University

Holdings details from Princeton University
Call Number: QA9.59 .B66 1989

Columbia University

Holdings details from Columbia University
Call Number: QA9.59 .B66 1989

University of Pennsylvania

Holdings details from University of Pennsylvania
Call Number: QA9.59 .B66 1989

Brown University

Holdings details from Brown University
Call Number: QA9.59 .B66 1989