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 |