## Introduction to Mathematical Logic (PMS-13) |

Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church was a pioneer in the field of mathematical logic, whose contributions to number theory and the theories of algorithms and computability laid the theoretical foundations of computer science. His first Princeton book, Even beyond the accomplishment of that book, however, his second Princeton book, Church was one of the principal founders of the Association for Symbolic Logic; he founded the "This volume . . . is a reprint of the revised 1956 version of this notable title first published in 1944 in the
- Annals of Mathematics Studies
Phillip A. Griffiths, John N. Mather, and Elias M. Stein, Editors - Princeton Mathematical Series
Phillip A. Griffiths, John N. Mather, and Elias M. Stein, Editors - Princeton Landmarks in Mathematics and Physics
| |||||||

### For ebooks:
| |||||||

| |||||||

| |||||||

Questions and comments to: webmaster@press.princeton.edu |

Send me emails about new books in: | |

Mathematics | |

More Choices |