Справочная книга по математической логике. В 4-х частях. Ч. 4 :
Справочная книга по математической логике. В 4-х частях. Ч. 4 : Теория доказательств и конструктивная математика /
Под ред. Дж. Барвайса.
- Москва : Наука, 1982.
- 391 с.
მათემატიკური ლოგიკა კონსტრუქციული მათემატიკა ცნობარი
510.6(035)
მათემატიკური ლოგიკა კონსტრუქციული მათემატიკა ცნობარი
510.6(035)