00889nam a2200217 i 4500
RU\SPSTU\books\122232
Ge_NSL
20170228130633.0
011126s1982 ru rus u
rus
510.6(035)
Справочная книга по математической логике. В 4-х частях. Ч. 4 :
Под ред. Дж. Барвайса.
Теория доказательств и конструктивная математика /
Москва :
1982.
Наука,
391 с.
მათემატიკური ლოგიკა
კონსტრუქციული მათემატიკა
ცნობარი
Барвайс, Дж.
რედაქტორი
udc
REF
0
4
udc
0
0
CPL
CPL
GEN
2016-06-23
0
510.6(035)
2016-26285
2016-06-23 00:00:00
J-62396
2016-06-23
REF
64517
64517