Proof theory : (Record no. 104942)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01038cam a2200337 a 4500 |
| 001 - CONTROL NUMBER | |
| control field | 15310609 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20200103090621.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 080530s2009 gw b 001 0 eng c |
| 015 ## - NATIONAL BIBLIOGRAPHY NUMBER | |
| National bibliography number | GBA886510 |
| Source | bnb |
| 015 ## - NATIONAL BIBLIOGRAPHY NUMBER | |
| National bibliography number | 08,A46,1015 |
| Source | dnb |
| 015 ## - NATIONAL BIBLIOGRAPHY NUMBER | |
| National bibliography number | 08,N26,1199 |
| Source | dnb |
| 016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER | |
| Record control number | 989061868 |
| Source | DE-101 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783540693185 (pbk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 3540693181 (pbk.) |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | (OCoLC)ocn276911268 |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | ERL |
| Language of cataloging | eng |
| Transcribing agency | ERL |
| Modifying agency | PAU |
| -- | HEBIS |
| -- | DEBBG |
| -- | OCLCQ |
| -- | DLC |
| 042 ## - AUTHENTICATION CODE | |
| Authentication code | pcc |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 511.36 POH |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Pohlers, Wolfram. |
| 245 10 - TITLE STATEMENT | |
| Title | Proof theory : |
| Remainder of title | the first step into impredicativity / |
| Statement of responsibility, etc. | Wolfram Pohlers. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Berlin : |
| Name of publisher, distributor, etc. | Springer, |
| Date of publication, distribution, etc. | c2009. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | xiii, 370 p. ; |
| Dimensions | 22 cm. |
| 490 1# - SERIES STATEMENT | |
| Series statement | Universitext |
| 500 ## - GENERAL NOTE | |
| General note | TBH/SINV00482/15<br/>Euro 59.99 |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc. note | Includes bibliographical references (p. 357-361) and index. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Proof theory. |
| 650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Beweistheorie. |
| Source of heading or term | swd |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Universitext. |
| 906 ## - LOCAL DATA ELEMENT F, LDF (RLIN) | |
| a | 7 |
| b | cbc |
| c | pccadap |
| d | 2 |
| e | ncip |
| f | 20 |
| g | y-gencatlg |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Dewey Decimal Classification |
| Koha item type | Books |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Collection code | Home library | Current library | Date acquired | Total Checkouts | Full call number | Barcode | Date last seen | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dewey Decimal Classification | SIAS Collection | H.T. Parekh Library | H.T. Parekh Library | 03/01/2020 | 511.36 POH | K1071 | 03/01/2020 | 03/01/2020 | Books |