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