Математическая логика и автоматическое доказательство теорем : (Գրառման հմ. 89653)
[ դիտիր պարզ ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00997nam a2200229 u 4500 |
| 001 - CONTROL NUMBER | |
| control field | 000114745 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20230827110745.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 980626s1983 ||||||||||||||||||||rus d |
| 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. | 1983. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 360 с. ; |
| Dimensions | 22 см. |
| 440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE | |
| Title | Математическая логика и основания математики |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Математическая логика |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Ли, Р. |
| 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 | trl |
| 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 | Total Checkouts | Full call number | Barcode | Date last seen | Price effective from | Koha item type | Public note | Inventory number |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| General | Fundamental Scientific Library | Fundamental Scientific Library | 03/05/2017 | PII/503376 | FL0228602 | 03/05/2017 | 03/05/2017 | Book | 25 Days Loan | ||||||
| General | Fundamental Scientific Library | Fundamental Scientific Library | 03/05/2017 | PII/503377 | FL0228608 | 03/05/2017 | 03/05/2017 | Book | 25 Days Loan | ||||||
| General | Fundamental Scientific Library | Fundamental Scientific Library | 03/05/2017 | PII/504675 | FL0226092 | 03/05/2017 | 03/05/2017 | Book | 25 Days Loan | ||||||
| Depository | Yerevan State University Library | Yerevan State University Library | 03/05/2017 | 519.9 Ч-438 | 2500252739 | 03/05/2017 | 03/05/2017 | Book | Term Loan | ||||||
| Depository | Yerevan State University Library | Yerevan State University Library | 03/05/2017 | 519.9 Ч-438 | 2500516845 | 03/05/2017 | 03/05/2017 | Book | Term Loan | ||||||
| Depository | Yerevan State University Library | Yerevan State University Library | 03/05/2017 | 519.9 Ч-438 | 2500516859 | 03/05/2017 | 03/05/2017 | Book | Term Loan | ||||||
| Depository | Yerevan State University Library | Yerevan State University Library | 03/05/2017 | 519.9 Ч-438 | 2500516862 | 03/05/2017 | 03/05/2017 | Book | Term Loan | ||||||
| Depository | Yerevan State University Library | Yerevan State University Library | 03/05/2017 | 519.9 Ч-438 | 2500764521 | 03/05/2017 | 03/05/2017 | Book | Term Loan | ||||||
| Depository | Yerevan State University Library | Yerevan State University Library | 03/05/2017 | 519.9 Ч-438 | 2501131321 | 03/05/2017 | 03/05/2017 | Book | Term Loan | 860672 | |||||
| Depository | Yerevan State University Library | Yerevan State University Library | 03/05/2017 | 519.9 Ч-438 | 2500775452 | 03/05/2017 | 03/05/2017 | Book | Term Loan | 861583 |