# Introduction to mathematical logic (Record no. 13763)

[ view plain ]

000 -LEADER | |
---|---|

fixed length control field | 01229nam a2200181 a 4500 |

020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |

ISBN | 9780691029061 |

020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |

ISBN | 0691029067 |

082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |

Classification number | 511.3 |

Item number | CHU |

100 ## - MAIN ENTRY--AUTHOR NAME | |

Personal name | Church, Alonzo |

245 ## - TITLE STATEMENT | |

Title | Introduction to mathematical logic |

260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |

Place of publication | Princeton, N.J. : |

Name of publisher | Princeton University Press, |

Year of publication | 1996. |

300 ## - PHYSICAL DESCRIPTION | |

Number of Pages | ix, 378 pages ; |

490 ## - SERIES STATEMENT | |

Series statement | Princeton landmarks in mathematics and physics. |

505 ## - FORMATTED CONTENTS NOTE | |

Formatted contents note | *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 |

520 ## - SUMMARY, ETC. | |

Summary, etc | 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 |

650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |

Topical Term | Logic, Symbolic and mathematical. |

942 ## - ADDED ENTRY ELEMENTS (KOHA) | |

Koha item type | Reference Books |

Collection code | Home library | Current library | Shelving location | Date acquired | Source of acquisition | Cost, normal purchase price | Full call number | Accession Number | Koha item type |
---|---|---|---|---|---|---|---|---|---|

Reference | Main Library | Main Library | Reference | 17/03/2008 | Purchased | 6875.00 | 511.3 CHU | 011012 | Reference Books |