Справочная книга по математической логике. В 4-х частях. Ч. 4
Теория доказательств и конструктивная математика
Барвайс, Дж.
რედაქტორი
text
ru
1982
monographic
rus
391 с.
Под ред. Дж. Барвайса.
მათემატიკური ლოგიკა
კონსტრუქციული მათემატიკა
ცნობარი
510.6(035)
011126
20170228130633.0
RU\SPSTU\books\122232