The Haskell road to logic,maths and programming (Record no. 1763)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 00751 a2200289 4500 |
003 - CONTROL NUMBER IDENTIFIER | |
control field | inmoiis |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20171010174015.0 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 0954300096 |
040 ## - CATALOGING SOURCE | |
Original cataloging agency | inmoiis |
041 ## - LANGUAGE CODE | |
Language code of text/sound track or separate title | Eng |
044 ## - COUNTRY OF PUBLISHING/PRODUCING ENTITY CODE | |
MARC country code | XXK |
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 005.1 |
Edition number | 22 |
Item number | DOE-H |
100 ## - MAIN ENTRY--PERSONAL NAME | |
Personal name | Doets,Kees |
9 (RLIN) | 165 |
245 ## - TITLE STATEMENT | |
Title | The Haskell road to logic,maths and programming |
Statement of responsibility, etc | Kees Doets |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Place of publication, distribution, etc | London |
Name of publisher, distributor, etc | King's College |
Date of publication, distribution, etc | 2004 |
300 ## - PHYSICAL DESCRIPTION | |
Extent | 426p. |
500 ## - GENERAL NOTE | |
General note | include index. |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Computer science |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Computer programming |
9 (RLIN) | 4440 |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Maths and Programming |
9 (RLIN) | 6474 |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Polynomials |
9 (RLIN) | 3750 |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Finite sets |
9 (RLIN) | 6475 |
700 ## - ADDED ENTRY--PERSONAL NAME | |
Personal name | Eijck,Jan Van |
9 (RLIN) | 1425 |
902 ## - LOCAL DATA ELEMENT B, LDB (RLIN) | |
0 | |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Item type | Books |
Source of classification or shelving scheme | Dewey Decimal Classification |
Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Home library | Current library | Shelving location | Date acquired | Vendor name/Source of acquisition | Cost, normal purchase price | Serial Enumeration / chronology | Total Checkouts | Barcode | Date last seen | Date last borrowed | Copy number | Cost, replacement price | Price effective from | Koha item type |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Dewey Decimal Classification | IISER Central Library | IISER Central Library | Second Floor- Left Wing | 16/08/2011 | International Book Agency Lucnow Bill No.19665 Dated 20/01/2010 | 1121.40 | vol-4 | 2 | 0003358 | 21/05/2013 | 06/05/2013 | 1 | 0.00 | 28/07/2010 | Books | ||||
Dewey Decimal Classification | IISER Central Library | IISER Central Library | Second Floor- Left Wing | 16/08/2011 | International Book Agency Lucknow Bill No. 19749 Dated 11/02/2010 | 1101.80 | vol-4 | 0003594 | 14/05/2012 | 3 | 14/05/2012 | Books | |||||||
Dewey Decimal Classification | IISER Central Library | IISER Central Library | Second Floor- Left Wing | 16/08/2011 | International Book Agency Lucknow Bill No. 19749 Dated 11/02/2010 | 1101.80 | vol-4 | 2 | 0003593 | 22/03/2018 | 06/03/2018 | 2 | 14/05/2012 | Books |