Результаты поиска
Возможно, вы имели ввиду: математическая логика и автоматическое доказательство теории
Найдено 11 материалов
Опыты математического изложения логики. Вып. 1
Бобынин. В.В.Опыты математического изложения логики. Москва: [Б. и.], 1886-1894.
Вып. 1. 1886.
Бобынин, В.В.
Опыты математического изложения логики / Сост. В.В...-математические науки в их настоящем и прошедшем", 1886. -[4], 49 с. : табл.. -Экз.: с рукоп. помет...Опыты математического изложения логики. Вып. 1...Изд. ред. журн. "Физико-математические науки в их настоящем и прошедшем"...Изд. ред. журн. "Физико-математические науки в их настоящем и прошедшем"...Вып. 1 Опыты математического изложения логики Сост. В.В. Бобынин, прив.-доц. Имп. Моск. ун-та...Опыты математического изложения логики...Опыты математического изложения логики
Доступно только в Электронных читальных залах
Логика
Владиславлев, М.Логика. Санкт-Петербург : Тип. В. Демакова, 1872.
Владиславлев, М.
Логика : Обозрение индуктивных и дедуктивных приемов мышления... и исторические очерки: логики Аристотеля, схоластической диалектики, логики формальной и индуктивной...Логика...Логика Обозрение индуктивных и дедуктивных приемов мышления и исторические очерки: логики Ари...стотеля, схоластической диалектики, логики формальной и индуктивной [Соч.] М. Владиславлева...Логика...Обозрение индуктивных и дедуктивных приемов мышления и исторические очерки: логики Аристотеля, схоластической диалектики, логики формальной и индуктивной...Логика...Обозрение индуктивных и дедуктивных приемов мышления и исторические очерки: логики Аристотеля, схоластической диалектики, логики формальной и индуктивной
Доступно только в Электронных читальных залах
Логика
Жоль, Константин Константинович (1949-). Логика. Москва : ЮНИТИ-ДАНА, 2012.
Жоль, Константин Константинович (1949-).
Логика : учебное пособие..... - (Bibliotheca studiorum). - Библиография: с. 278 - 285. - ISBN 5-238-00663-2
.
1. Право (коллекция). 2. Логика...Логика...Логика учебное пособие для студентов высших учебных заведений К. К. Жоль Bibliotheca studiorum...Логика...Логика
Доступно только в Электронных читальных залах
... Логика. Записки Историко-филологического факультета Императорского Петроградского университета. Ч. 1. Общее учение о доказательстве
Поварнин. Сергей Иннокентьевич. 1870-1952. ... Логика. Петроград: тип. Акц. общ. типогр. дела, 1915.
Ч. 1: Общее учение о доказательстве. 1915.
Поварнин, Сергей Иннокентьевич (1870-1952).
... Логика : Ч. 1...
Ч. 1: Общее учение о доказательстве. - 1915. -XVI, 206, [1] с.. - (Записки Историко...... Логика. Записки Историко-филологического факультета Императорского Петроградского университета. Ч. 1. Общее учение о доказательстве...Общее учение о доказательстве ... Логика Ч. 1- С.И. Поварнин Ч. 1 Записки Историко-фил...Общее учение о доказательстве...... Логика...Общее учение о доказательстве...... Логика
Доступно только в Электронных читальных залах
Логика экономии
Геринг, С.Логика экономии. Санкт-Петербург : Тип. К.Ф. Далина, 1909.
Геринг, С.
Логика экономии : Основные экономические понятия с энергетической...Логика экономии...Логика экономии Основные экономические понятия с энергетической точки зрения...Логика экономии...Логика экономии
Доступно только в Электронных читальных залах
Лекции по логике
Введенский, А.И.Лекции по логике. [Санкт-Петербург] : Литогр. Богданова, [1900].
Введенский, А.И.
Лекции по логике : Высшие женские курсы. 1899-1900 г. / [Соч...Лекции по логике...Лекции по логике Высшие женские курсы. 1899-1900 г. [Соч.] проф. А.И. Введенского...Лекции по логике...Лекции по логике
Доступно только в Электронных читальных залах
Лекции по логике
Введенский, А.И.Лекции по логике. Санкт-Петербург : Литогр. Богданова, [1902].
Введенский, А.И.
Лекции по логике : Высшие женские курсы. 1901-1902 / [Соч...Лекции по логике...Лекции по логике Высшие женские курсы. 1901-1902 [Соч.] проф. А.И. Введенского...Лекции по логике...Лекции по логике
Доступно только в Электронных читальных залах
К вопросу о "Логике Авиасафа"
Коковцев, Павел Константинович (1861-1942).
К вопросу о "Логике Авиасафа".
С.-Петербург: Сенат. тип., 1912.
Коковцев, Павел Константинович
(1861-1942).
К вопросу о "Логике...К вопросу о "Логике Авиасафа"...К вопросу о "Логике Авиасафа" П. К. Коковцов Журнал Министерства народного просвещения 1912 К вопросу о Логике Авиасафа...К вопросу о "Логике Авиасафа"...К вопросу о Логике Авиасафа...К вопросу о "Логике Авиасафа"...К вопросу о Логике Авиасафа
Логика фракционной борьбы
Логика фракционной борьбы. Москва : Моск. рабочий, 1927; Ленинград.
Логика фракционной борьбы : Зиновьев и Каменев против троцкистской оппозиции...Логика фракционной борьбы...Логика фракционной борьбы Зиновьев и Каменев против троцкистской оппозиции Ст. и речи из нед...Логика фракционной борьбы...Логика фракционной борьбы
Доступно только в Электронных читальных залах
К вопросу о реформе логики
Грот, Николай Яковлевич (1852-1899). К вопросу о реформе логики. [Нежин] : Ист.-филол. ин-т, 1882.
Грот, Николай Яковлевич (1852-1899).
К вопросу о реформе логики : Опыт новой...К вопросу о реформе логики...К вопросу о реформе логики Опыт новой теории умств. процессов Рассуждение Н.Я. Грота, магистра философии, орд. проф. Нежин. ист.-филол. ин-та...К вопросу о реформе логики...К вопросу о реформе логики...Опыт новой теории умств. процессов
Доступно только в Электронных читальных залах
Логика, выбранная из Клейна, А. Галичем
Галич, Александр Иванович (1783-1848). Логика, выбранная из Клейна, А. Галичем. Санкт-Петербург : тип. Александра Смирдина, 1831.
Галич, Александр Иванович (1783-1848).
Логика, выбранная из Клейна, А. Галичем...Логика, выбранная из Клейна, А. Галичем...Логика, выбранная из Клейна, А. Галичем...Логика, выбранная из Клейна, А. Галичем...Логика, выбранная из Клейна, А. Галичем
Доступно только в Электронных читальных залах