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