TY - BOOK AU - Бовынин,В.В. TI - Опыты математического изложения логики PY - 1886/// CY - Москва PB - Издание редакции журнала "Физико-математические науки в их настоящем и прошедшем" KW - математическая логика KW - Буля логика KW - логико-семантические исследования KW - логическое равенство KW - Буля логические символы KW - алгебраическое равенство KW - функции логические KW - разложение функций логических KW - истинное и ложное KW - силлогизм KW - Грассмана алгебра KW - умозаключения (математическая логика) ER -