A beginner's further guide to mathematical logic / (Record no. 10680)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01469nam a2200325Ia 4500 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20260803094220.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 251212s2017 xx 000 0 und d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 978-981-4725-72 |
| Qualifying information | paperback |
| 050 ## - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | 511.3 Sm85b 2017 |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Smullyan, Raymond |
| 245 1# - TITLE STATEMENT | |
| Title | A beginner's further guide to mathematical logic / |
| Statement of responsibility, etc. | Raymond Smullyan. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Singapore : |
| Name of publisher, distributor, etc. | World Scientific, |
| Date of publication, distribution, etc. | 2017. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | ix, 277 pages: |
| Other physical details | illustrations |
| 300 ## - PHYSICAL DESCRIPTION | |
| Dimensions | 24 cm |
| 336 ## - CONTENT TYPE | |
| Content type term | text |
| 337 ## - MEDIA TYPE | |
| Media type term | unmediated |
| 338 ## - CARRIER TYPE | |
| Carrier type term | volume |
| 500 ## - GENERAL NOTE | |
| General note | Includes bibliographic references and index |
| 546 ## - LANGUAGE NOTE | |
| Language note | in English |
| 505 ## - FORMATTED CONTENTS NOTE | |
| Formatted contents note | More on propositional and first-order logic -- More on propositional logic -- More on first-order logic -- Recursion theory and metamathematics -- Some special topics -- Elementary formal systems and recursive enumerability -- Some recursion theory -- Doubling up -- Metamathematical applications -- Elements of combinatory logic -- Beginning combinatory logic -- Combinatorics galore -- Sages, oracles, and doublets -- Complete and partial systems -- Combinators, recursion, and the undecidable -- Where to go from here |
| 591 ## - | |
| -- | 0 |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Logic, Symbolic and mathematical |
| 944 ## - | |
| -- | CIR |
| 943 ## - EQUIVALENCE OR CROSS-REFERENCE--COLLECTIVE TITLE [OBSOLETE] [CAN/MARC only] | |
| -- | 0 |
| -- | 0 |
| Date of treaty signing | 0 |
| -- | 1 |
| Date of a work | 0 |
| Miscellaneous information | 0 |
| Medium | 0 |
| -- | 0 |
| -- | 0 |
| 944 ## - | |
| -- | 1 |
| -- | 1 |
| -- | 0 |
| 953 ## - | |
| -- | HED6078 |
| 953 ## - | |
| -- | College Library |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Library of Congress Classification |
| Koha item type | Books |
| Institution code [OBSOLETE] | jpascua |
| -- | 2019-01-16 15:34:50 |
| -- | jpascua |
| Edition | 2019-01-16 15:34:50 |
| 998 ## - LOCAL CONTROL INFORMATION (RLIN) | |
| MyRDA biblio | 10753 |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Home library | Current library | Shelving location | Date acquired | Full call number | Barcode | Date last seen | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dewey Decimal Classification | FEU - Cavite Higher Education | FEU - Cavite Higher Education | HED Library | 12/21/2025 | CIR 511.3 Sm85b 2017 | HED6078 | 06/02/2026 | 12/21/2025 | Books |