Logical frameworks / (Αριθ. εγγραφής 90837)
[ απλή προβολή ]
000 -LEADER | |
---|---|
fixed length control field | 00907cam a2200253 a 4500 |
001 - CONTROL NUMBER | |
control field | 3460083 |
003 - CONTROL NUMBER IDENTIFIER | |
control field | GR-PaULI |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20210915115949.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 920811s1991 enk b 001 0 eng |
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER | |
LC control number | 92198266 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 0521413001 |
040 ## - CATALOGING SOURCE | |
Original cataloging agency | DLC |
Transcribing agency | GR-PaULI |
Modifying agency | |
Language of cataloging | gre |
Description conventions | AACR2 |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 005.131 |
Edition number | 23 |
245 00 - TITLE STATEMENT | |
Title | Logical frameworks / |
Statement of responsibility, etc. | edited by Gérard Huet, G. Plotkin. |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Place of publication, distribution, etc. | Cambridge ; |
-- | New York : |
Name of publisher, distributor, etc. | Cambridge University Press, |
Date of publication, distribution, etc. | 1991. |
300 ## - PHYSICAL DESCRIPTION | |
Extent | xii, 403 σ. ; |
Dimensions | 24 εκ. |
504 ## - BIBLIOGRAPHY, ETC. NOTE | |
Bibliography, etc | Περιλαμβάνει βιβλιογραφικές παραπομπές. |
650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Λογική |
9 (RLIN) | 325 |
650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Αυτόματη απόδειξη θεωρημάτων |
9 (RLIN) | 86550 |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Huet, Gerard |
9 (RLIN) | 125479 |
Relator term | επιμελητής. |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Plotkin, G. |
Fuller form of name | (Gordon), |
Dates associated with a name | 1946- |
9 (RLIN) | 187467 |
Relator term | επιμελητής. |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Source of classification or shelving scheme | Dewey Decimal Classification |
Koha item type | Book [21] |
998 ## - LOCAL CONTROL INFORMATION (RLIN) | |
Cataloger's initials, CIN (RLIN) | ΜΠΟΥΡΑΣ |
First Date, FD (RLIN) | 2021-09 |
Lost status | Home library | Current library | Shelving location | Inventory number | Total Checkouts | Full call number | Barcode | Koha item type |
---|---|---|---|---|---|---|---|---|
ΒΚΠ - Πατρα | ΒΚΠ - Πατρα | Βασική Συλλογή | 5910 | 005.131 HUE | 025000284230 | Book [21] |