TY - BOOK AU - Стяжкин Н. И. TI - Формирование математической логики SN - PY - 1964///7 CY - М. PB - наука KW - მათემატიკური ლოგიკა ER -