Proof theory : a selection of papers from the leeds proof theory programme 1990 (Record no. 25715)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00765nam a22002297a 4500 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | OSt |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20221103145604.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 221103b |||||||| |||| 00| 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9780511896262 |
| 245 ## - TITLE STATEMENT | |
| Title | Proof theory : a selection of papers from the leeds proof theory programme 1990 |
| Statement of responsibility, etc | edited by Peter Aczel, Harold Simmons and Stanley S Wainer |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication, distribution, etc | Cambridge university press |
| Date of publication, distribution, etc | 2011 |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Mathematics |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Categories and sets |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Logic |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Computer science |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Programming languages and applied logic |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Aczel, Peter |
| Relator term | Editor |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Simmons, Harold |
| Relator term | Editor |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Wainer, Stanley S |
| Relator term | Editor |
| 856 ## - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://doi.org/10.1017/CBO9780511896262">https://doi.org/10.1017/CBO9780511896262</a> |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Dewey Decimal Classification |
| Koha item type | E-book |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Home library | Current library | Date acquired | Total Checkouts | Barcode | Date last seen | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dewey Decimal Classification | Central University Of Rajasthan | Central University Of Rajasthan | 03/11/2022 | EB3346 | 03/11/2022 | 03/11/2022 | E-book |