# Introduction to mathematical logic

Material type: TextSeries: Princeton landmarks in mathematics and physicsPublication details: Princeton, N.J. : Princeton University Press, 1996Description: ix, 378 pagesISBN: 9780691029061; 0691029067 Subject(s): Logic, Symbolic and mathematicalDDC classification: 511.3Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|

Reference Books | Main Library Reference | Reference | 511.3 CHU (Browse shelf(Opens below)) | Available | 011012 |

##### Browsing Main Library shelves, Shelving location: Reference, Collection: Reference Close shelf browser (Hides shelf browser)

510.76 LIP Schaum's outline of theory and problems of finite mathematics | 510.76 RIZ Barron's How to Prepare for the SAT II: Mathematics Level IC | 511.2 FER Discrete Mathematical Structures | 511.3 CHU Introduction to mathematical logic | 511.3 DAV Computability & unsolvability | 511.3 FIT First-order logic and automated theorem proving / | 511.3 REI Elements of symbolic logic |

*Frontmatter, pg. i*Preface, pg. v*Contents, pg. vii*Introduction, pg. 1*I. The Propositional Calculus, pg. 69*II. The Propositional Calculus (Continued), pg. 119*III. Functional Calculi of First Order, pg. 168*IV. The Pure Functional Calculus of First Order, pg. 218*V. Functional Calculi of Second Order, pg. 295*Index of Definitions, pg. 357*Index of Authors, pg. 373*Errata, pg. 377

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's contributions to number theory and theories of algorithms and computability laid the theoretical foundations of computer science. This book is a basic source for understanding formal logic

There are no comments on this title.