Математические понятия Лекция 2 Попова Е А Неявные определения в логике примеры