Валерий Иванович ГЛИВЕНКО
математик. Доказал, что двойное отрицание каждого истинного предложения классической логики суждений доказуемо в интуиционистской логике.
>>> Смотреть календарь
КОШКА кошки, ж. 1. Самка кота. Кошка поймала мышь. Кошка мяукает.
Кошка оцарапала ребенка. Ангорская кошка. 2. Кошачий мех (разг.). Купил
кошку на воротник. 3. преимущ. мн. Род млекопитающих семейства кошачьих
(зоол.). 4. Небольшой якорь с тремя и ...