TY - BOOK AU - Порецкий,Платон Сергеевич AU - Зейлигер,Дмитрий Николаевич AU - Богородицкий,Василий Алексеевич AU - Федоров,Евграф Степанович AU - Kowalski,M. AU - Андреев,К. AU - Буняковский,Виктор Яковлевич TI - О способах решения логических равенств и об обратном способе математической логики: опыт построения полной и общедоступной математической теории умозаключений над качественными формами PY - 1884/// CY - Казань PB - типография В. М. Ключникова KW - Имшенецкий, Василий Григорьевич KW - Некрасова В. Л. личная библиотека KW - математическая логика KW - логические равенства, решение KW - задачи математической логики сложные KW - обратные задачи математической логики KW - динамика системы точек KW - кинематика системы точек KW - динамика, теория геометрическая KW - динамика, теория аналитическая KW - уравнения движения KW - Пуансо задача KW - Евклидова геометрия KW - геометрические фигуры. виды KW - многогранники, классификация KW - симметрия (геометрия) KW - плоскость KW - пространство KW - солнечное затмение полное 1851 года KW - астрономические наблюдения KW - Бердянск, город KW - ряды (мат.) конечные KW - арифметические прогрессии различных порядков KW - Императорский Казанский университет, Общество естествоиспытателей. Физико-математическая секция KW - физико-математические исследования N1 - Приплетено 7 книг: Теория движения подобно-изменяемого тела / Д. Н. Зейлигер; Предложение 4-е первой книги Элементов Евклида и аксиома совместимости / В. Богородицкий; Начала учения о фигурах / Е. С. Федоров; Recherches sur la refraction astronomique / M. Kowalski; Отчет о наблюдении полного солнечного затмения 16/28 июля 1851 года в городе Бердянске ; Василий Григорьевич Имшенецкий (некролог)/ К. Андреев; Изложение элементарного способа для суммирования конечных рядов, рассматриваемых в начальной алгебре, с приложением его к некоторым бесконечным строкам/ В. Буняковский ER -