Computability and logic / (Αριθ. εγγραφής 11726)
[ απλή προβολή ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00791nam a2200241 a 4500 |
| 001 - CONTROL NUMBER | |
| control field | 11743 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | CY-NiPEI |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20210211074944.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 180509s1982 uk a f ||| |engd |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 0521299675 |
| Qualifying information | (pbk.) |
| 040 ## - CATALOGING SOURCE | |
| Language of cataloging | eng |
| Original cataloging agency | CY-NiPEI |
| 082 7# - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 511.3 |
| Edition number | 23 |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Boolos, George |
| Relationship | aut |
| 9 (RLIN) | 1701 |
| 245 10 - TITLE STATEMENT | |
| Title | Computability and logic / |
| Statement of responsibility, etc. | George S. Boolos, Richard C. Jeffrey. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 2nd ed. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Cambridge: |
| Name of publisher, distributor, etc. | Cambridge University Press, |
| Date of publication, distribution, etc. | 1989. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | x, 304 p. ; |
| Dimensions | 24 cm. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Logic, Symbolic and mathematical |
| 9 (RLIN) | 10668 |
| 650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computable functions |
| 9 (RLIN) | 3338 |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Jeffrey, Richard C. |
| Relationship | asn |
| 9 (RLIN) | 9173 |
| 911 ## - EQUIVALENCE OR CROSS-REFERENCE-CONFERENCE OR MEETING NAME [LOCAL, CANADA] | |
| Meeting name or jurisdiction name as entry element | 018759 |
| Subordinate unit | 20180509 |
| -- | 1982 |
| Number of part/section/meeting | 511.3 BOO |
| Name of part/section of a work | 1 |
| Name of meeting following jurisdiction name entry element | 15 |
| -- | 0 |
| -- | 0 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Dewey Decimal Classification |
| Koha item type | Books |
| Classification part | 511.3 BOO |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Home library | Current library | Date acquired | Total Checkouts | Full call number | Barcode | Date last seen | Price effective from | Koha item type | Public note |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dewey Decimal Classification | Βιβλιοθήκη Παιδαγωγικού Ινστιτούτου = Pedagogical Institute Library | Βιβλιοθήκη Παιδαγωγικού Ινστιτούτου = Pedagogical Institute Library | 29.06.2020 | 511.3 BOO | PEI00018759 | 29.06.2020 | 29.06.2020 | Books | Μόνο για εσωτερικό δανεισμό |