A Beginner's Guide to Mathematical Logic (Record no. 59085)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01715nam a22002657a 4500 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20220408103334.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 220408b |||||||| |||| 00| 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9780486492377 |
| 028 ## - DISTRIBUTOR NAME | |
| Distributor Name | :Technical Bureau India Pvt. Ltd. |
| Distributor address | :E/261, Shastri Nagar Delhi |
| Bill Number | :TB5906 |
| Bill Date | :31/03/2022 |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 511.3 SMU |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Smullyan, Raymond M. |
| 245 ## - TITLE STATEMENT | |
| Title | A Beginner's Guide to Mathematical Logic |
| Statement of responsibility, etc | / Raymond M Smullyan |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication, distribution, etc | New York |
| Name of publisher, distributor, etc | : Dover Publications, |
| Date of publication, distribution, etc | 2014. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | iii, 284p. |
| Dimensions | 24 cm. |
| 365 ## - TRADE PRICE | |
| Price amount | 1573 |
| 490 ## - SERIES STATEMENT | |
| Series statement | Dover books on mathematics |
| 505 ## - FORMATTED CONTENTS NOTE | |
| Contents note | Part I General Background --<br/>Part II Propositional Logic --<br/>Part III First-Order Logic --<br/>Part IV The Incompletemess Phenomenon. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | Written by a creative master of mathematical logic, this introductory text combines stories of great philosophers, quotations, and riddles with the fundamentals of mathematical logic. Author Raymond Smullyan offers clear, incremental presentations of difficult logic concepts. He highlights each subject with inventive explanations and unique problems. Smullyan's accessible narrative provides memorable examples of concepts related to proofs, propositional logic and first-order logic, incompleteness theorems, and incompleteness proofs. Additional topics include undecidability, combinatoric logic, and recursion theory. Suitable for undergraduate and graduate courses, this book will also amuse and enlighten mathematically minded readers. -- Provided by publisher. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Mathematics |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | General principles of mathematics |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Logic, Symbolic and mathematical. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Arithmetic |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Smullyan, Raymond M. |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | Books |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Home library | Current library | Date acquired | Source of acquisition | Cost, normal purchase price | Full call number | Barcode | Date last seen | Price effective from | Koha item type | Public note |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dewey Decimal Classification | Not For Loan | Mathematics Departmental Library | Mathematics Departmental Library | 08/04/2022 | Technical Bureau India Pvt. Ltd. | 1572.00 | 511.3 SMU | M357 | 08/04/2022 | 08/04/2022 | Mathematics Departmental Library | FPDA Grant |
