000 -LEADER | |
---|---|
fixed length control field | 01083cam a2200337 i 4500 |
001 - CN | |
control field | 898088481 |
003 - CONTROL NUMBER IDENTIFIER | |
control field | OCoLC |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20180124140326.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 150414s2015 njua b 001 0 eng |
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER | |
LC control number | 2015012343 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9789814641296 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9789814641302 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9814641294 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9789814641302 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9814641308 |
035 ## - SYSTEM CONTROL NUMBER | |
System control number | (OCoLC)898088481 |
040 ## - CATALOGING SOURCE | |
Original cataloging agency | DLC |
Description conventions | rda |
Language of cataloging | eng |
Transcribing agency | DLC |
Modifying agency | YDX |
-- | YDXCP |
-- | BTCTA |
-- | OCLCO |
-- | OCLCF |
-- | CDX |
-- | JCU |
042 ## - AUTHENTICATION CODE | |
Authentication code | pcc |
050 00 - LIBRARY OF CONGRESS CALL NUMBER | |
Classification number | QA9.54 |
Item number | .O46 2015 |
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 511.36 |
092 ## - LOCALLY ASSIGNED DEWEY CALL NUMBER (OCLC) | |
Edition number | |
100 1# - MAIN ENTRY--PERSONAL NAME | |
Personal name | Oliveira, Suely, |
Relator term | author. |
9 (RLIN) | 15638 |
245 10 - TITLE STATEMENT | |
Title | Building proofs : |
Remainder of title | a practical guide / |
Statement of responsibility, etc | Suely Oliveira (The University of Iowa, USA), David Stewart (The University of Iowa, USA). |
300 ## - PHYSICAL DESCRIPTION | |
Extent | x, 164 pages : |
Other physical details | illustrations ; |
Dimensions | 24 cm |
504 ## - BIBLIOGRAPHY, ETC. NOTE | |
Bibliography, etc | Includes bibliographical (page 159) and index. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Proof theory. |
9 (RLIN) | 15639 |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Logic, Symbolic and mathematical. |
9 (RLIN) | 15640 |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Mathematics. |
9 (RLIN) | 15641 |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Stewart, David, |
Dates associated with a name | 1961- |
Relator term | author. |
9 (RLIN) | 10681 |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Source of classification or shelving scheme | |
Koha item type | كتاب |
No copies available.