Normal view
MARC view
- Барвайс, Дж
Барвайс, Дж (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Справочная книга по математической логике Ч. 4. Теория доказательств и конструктивная математика / [К. Сморинский, Г. Швихтенберг, Р. Стетмен и др. ]; Пер. Г. В. Давыдова, Г. Е. Минца; Под ред. В. П. Оревкова, 1983