Logic in computer science : (Αριθ. εγγραφής 93112)
[ απλή προβολή ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01672nam a2200373 u 4500 |
| 001 - CONTROL NUMBER | |
| control field | 10107050 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | upatras |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20210922120501.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 040903s2004 enka eng |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 052154310X |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | ITY |
| Transcribing agency | GR-PaULI |
| Language of cataloging | gre |
| Modifying agency | GR-PaULI |
| Description conventions | AACR2 |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Edition number | 23 |
| Classification number | 005.1 |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| 9 (RLIN) | 126199 |
| Personal name | Huth, Michael, |
| Dates associated with a name | 1962- |
| Relator term | συγγραφέας |
| 245 10 - TITLE STATEMENT | |
| Title | Logic in computer science : |
| Remainder of title | modelling and reasoning about systems / |
| Statement of responsibility, etc. | Michael Huth, Mark Ryan. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication, distribution, etc. | Cambridge : |
| Name of publisher, distributor, etc. | Cambridge University Press, |
| Date of publication, distribution, etc. | c2004. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | xiv, 427 σ. : |
| Other physical details | εικ. ; |
| Dimensions | 25 εκ. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc | Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο. |
| 650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Λογική, Συμβολική και μαθηματική |
| 9 (RLIN) | 472 |
| 650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Λογικός προγραμματισμός |
| 9 (RLIN) | 61492 |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| 9 (RLIN) | 126200 |
| Personal name | Ryan, Mark, |
| Dates associated with a name | 1962- |
| Relator term | συγγραφέας |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Dewey Decimal Classification |
| Koha item type | Book |
| 998 ## - LOCAL CONTROL INFORMATION (RLIN) | |
| Cataloger's initials, CIN (RLIN) | ΓΚΟΓΚΟΥ |
| First Date, FD (RLIN) | 2021-09 |
| Lost status | Collection code | Home library | Current library | Shelving location | Total Checkouts | Full call number | Barcode | Koha item type |
|---|---|---|---|---|---|---|---|---|
| Non-fiction | ΒΚΠ - Πατρα | ΒΚΠ - Πατρα | Βασική Συλλογή | 005.1 HUT | 025000285486 | Book [21] | ||
| Non-fiction | ΒΚΠ - Πατρα | ΒΚΠ - Πατρα | Βασική Συλλογή | 005.1 HUT | 025000285490 | Book [21] | ||
| Non-fiction | ΒΚΠ - Πατρα | ΒΚΠ - Πατρα | Αποθήκη 2.1 | 005.1 HUT | 025000285494 | Book [21] | ||
| Non-fiction | ΒΚΠ - Πατρα | ΒΚΠ - Πατρα | Αποθήκη 2.1 | 005.1 HUT | 025000285498 | Book [21] | ||
| Non-fiction | ΒΚΠ - Πατρα | ΒΚΠ - Πατρα | Αποθήκη 2.1 | 005.1 HUT | 025000285502 | Book [21] | ||
| Non-fiction | ΒΚΠ - Πατρα | ΒΚΠ - Πατρα | Αποθήκη 2.1 | 005.1 HUT | 025000285463 | Book [21] | ||
| Non-fiction | ΒΚΠ - Πατρα | ΒΚΠ - Πατρα | Αποθήκη 2.1 | 005.1 HUT | 025000285467 | Book [21] | ||
| Non-fiction | ΒΚΠ - Πατρα | ΒΚΠ - Πατρα | Αποθήκη 2.1 | 005.1 HUT | 025000283095 | Book [21] | ||
| Non-fiction | ΒΚΠ - Πατρα | ΒΚΠ - Πατρα | Αποθήκη 2.1 | 005.1 HUT | 025000283094 | Book [21] | ||
| Non-fiction | ΒΚΠ - Πατρα | ΒΚΠ - Πατρα | Αποθήκη 2.1 | 005.1 ΗUT | 025000279766 | Book [21] | ||
| ΒΚΠ - Πατρα | ΒΚΠ - Πατρα | 005.1 | 025000283093 | Book | ||||
| Μηχανικών Η/Υ και Πληροφορικής | Μηχανικών Η/Υ και Πληροφορικής | 005.1 HUT |
