Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view
  • Барвайс, Дж

Барвайс, Дж (Имя лица)

Number of records used in: 4
Preferred form: Барвайс, Дж

Machine generated authority record.

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