The Lambda Calculus : Its Syntax snd Semantics / (Record no. 36243)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00479nam a2200157Ia 4500 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | OSt |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20240830143033.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 240404s9999 xx 000 0 und d |
| 040 ## - CATALOGING SOURCE | |
| Transcribing agency | eng |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 511.3 |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Barendregt, H. P |
| 245 #4 - TITLE STATEMENT | |
| Title | The Lambda Calculus : Its Syntax snd Semantics / |
| Statement of responsibility, etc. | H. P Barendregt |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Amsterdam, Londra, New York |
| Name of publisher, distributor, etc. | North-Holland, American Elsevier |
| Date of publication, distribution, etc. | 1985 |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Mathematical logic (Symbolic logic) |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Institution code [OBSOLETE] | IMAR |
| Koha item type | Carti |
| Source of classification or shelving scheme | Dewey Decimal Classification |
| Withdrawn status | Lost status | Damaged status | Not for loan | Home library | Current library | Date acquired | Cost, normal purchase price | Inventory number | Full call number | Date last seen | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| IMAR | IMAR | 04/04/2024 | 10.00 | Mcd 34176 | CSR -511.3-BAR | 04/04/2024 | 04/04/2024 | Carti |