Справочная книга по математической логике Ч. 4. Теория доказательств и конструктивная математика / [К. Сморинский, Г. Швихтенберг, Р. Стетмен и др. ]; Пер. Г. В. Давыдова, Г. Е. Минца; Под ред. В. П. Оревкова В 4-х ч. Пер. с англ. Под ред. Дж. Барвайса
Material type:
TextLanguage: Russian Original language: Undetermined Publication details: М. Наука 1983Description: 391 с. 22 см (ил.)Subject(s): Доказательства [мат.] - (ч. 4) | Конструктивная математика - (ч. 4) | математическая логикаGenre/Form: сборники Other classification: 22.12я2 Online resources: Click here to access online Получено из INTERNET
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
| 1 месяц | Книгохранилище | 1-514395 (Browse shelf (Opens below)) | 1 | Available | 13820000398419 |
Перевод изд.: Handbook of mathematical logic (Amsterdam etc., 1977)
Изд. выходит с 1982 г.
Получено из INTERNET
Систем. требования: DjVu Plug-in for brausers
"Допускается без согласования автора и без выплаты авторского вознаграждения, но с обязательным указанием имени автора, произведение которого используется, и источника заимствования цитирование...в научных, исследовательских, полемических, критических и информационных целях... в объеме, оправданном целью цитирования..." (Закон РФ "Об авторском праве и смежных правах", ст.19. п.1)
There are no comments on this title.