Исследования по теории доказательств :
Крайзель, Г.
Исследования по теории доказательств : Сборник статей / Г. Крайзель ; Перевод с англ. Ю. А. Гастева, Г. Е. Минца. - Москва : Мир, 1981. - 289 с. 21см.
მათემატიკური ლოგიკა თეორემის მტკიცებულება
510.2+510.6
Исследования по теории доказательств : Сборник статей / Г. Крайзель ; Перевод с англ. Ю. А. Гастева, Г. Е. Минца. - Москва : Мир, 1981. - 289 с. 21см.
მათემატიკური ლოგიკა თეორემის მტკიცებულება
510.2+510.6