Ламбда-исчисление : (Գրառման հմ. 85711)
[ դիտիր պարզ ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00923-am-a2200193-a-4500 |
| 001 - CONTROL NUMBER | |
| control field | 000110418 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20230827103939.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 950720s1985 xxu 000 0 ||| u |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Барендрегт, Хендрик Питер |
| 245 10 - TITLE STATEMENT | |
| Title | Ламбда-исчисление : |
| Remainder of title | Его синтаксис и семантика / |
| Statement of responsibility, etc. | Х.П. Барендрегт ; Пер. с англ. Г.Е. Минца ; Под ред. А.С. Кузичева. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Москва : |
| Name of publisher, distributor, etc. | Мир , |
| Date of publication, distribution, etc. | 1985. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 608 с. |
| 534 ## - ORIGINAL VERSION NOTE | |
| Introductory phrase | Оригинал на англ. : |
| -- | The Lambda Calculus : |
| Key title of original | Its Syntax and Semantics / |
| Main entry of original | H.P. Barendregt - |
| Publication, distribution, etc. of original | Amsterdam New York Oxford : North-Holland Publishing Company : 1981 |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Математическая логика |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Минц, Г.Е. |
| Relator term | пер. |
| Relator code | trl |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Кузичев, А.С. |
| Relator term | ред. |
| Relator code | edt |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | Book |
| Withdrawn status | Lost status | Damaged status | Not for loan | Collection code | Home library | Current library | Date acquired | Serial Enumeration / chronology | Total Checkouts | Full call number | Barcode | Date last seen | Price effective from | Koha item type | Public note | Cost, normal purchase price |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Գիտական | Engineering University Library | Engineering University Library | 03/05/2017 | т.2 | 510.6 Б-24 | EU0309178 | 03/05/2017 | 03/05/2017 | Book | 30 Days Loan | ||||||
| Գիտական | Engineering University Library | Engineering University Library | 03/05/2017 | т.2 | 510.6 Б-24 | EU0309179 | 03/05/2017 | 03/05/2017 | Book | 30 Days Loan | ||||||
| Գիտական | Engineering University Library | Engineering University Library | 03/05/2017 | т.2 | 510.6 Б-24 | EU0309180 | 03/05/2017 | 03/05/2017 | Book | 30 Days Loan | ||||||
| General | Fundamental Scientific Library | Fundamental Scientific Library | 03/05/2017 | PII/534541 | FL0164420 | 03/05/2017 | 03/05/2017 | Book | 25 Days Loan | |||||||
| General | Fundamental Scientific Library | Fundamental Scientific Library | 03/05/2017 | PII/536588 | FL0158612 | 03/05/2017 | 03/05/2017 | Book | 25 Days Loan | 7000.00 | ||||||
| Depository | Yerevan State University Library | Yerevan State University Library | 03/05/2017 | 519.9 Б-248 | 2502864578 | 03/05/2017 | 03/05/2017 | Book | Term Loan |