TY - BOOK AU - Барвайс, Дж. TI - Справочная книга по математической логике. В 4-х частях. Ч. 4: Теория доказательств и конструктивная математика PY - 1982/// CY - Москва PB - Наука KW - მათემატიკური ლოგიკა KW - კონსტრუქციული მათემატიკა KW - ცნობარი ER -