Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> ДОКАЗАТЕЛЬСТВА (мат. логика)
Печать списка
--> ДОКАЗАТЕЛЬСТВА (мат. логика)
Рубрика
- Название:
- ДОКАЗАТЕЛЬСТВА (мат. логика)
Печать списка
Связанные описания:
Заказать 
На полку
Книга
Автоматизация поиска доказательства теорем в математике: [сборник]
ИТК, 1974 г.
ISBN отсутствует
Автоматизация поиска доказательства теорем в математике: [сборник]
ИТК, 1974 г.
ISBN отсутствует
Книга
Аристотель
Аналитики, первая и вторая
Anaлyтika протера, anaлyтika yeтера
Госполитиздат, 1952 г.
ISBN отсутствует
Аристотель
Аналитики, первая и вторая
Anaлyтika протера, anaлyтika yeтера
Госполитиздат, 1952 г.
ISBN отсутствует
Книга
Малыхина, Г.И.
Логика: [учебное пособие для вузов]
Вышэйшая школа, 2010 г.
ISBN 978-985-06-1882-5
Малыхина, Г.И.
Логика: [учебное пособие для вузов]
Вышэйшая школа, 2010 г.
ISBN 978-985-06-1882-5
Книга
Барковский, П.В.
Логика: ответы на экзаменационные вопросы
ТетраСистемс, 2010 г.
ISBN 978-985-470-998-7
Барковский, П.В.
Логика: ответы на экзаменационные вопросы
ТетраСистемс, 2010 г.
ISBN 978-985-470-998-7
Книга
Мареев, С.Н.
Логика: учебник [для вузов]
ISBN отсутствует
Мареев, С.Н.
Логика: учебник [для вузов]
Серия: Учебник для вузов
Экзамен, 2007 г.ISBN отсутствует
Книга
Рузавин, Г.И.
Логика и аргументация: [учебное пособие для вузов]
ЮНИТИ, ВИЛАТ, 1997 г.
ISBN 5-85178-037-1
Рузавин, Г.И.
Логика и аргументация: [учебное пособие для вузов]
ЮНИТИ, ВИЛАТ, 1997 г.
ISBN 5-85178-037-1
Книга
Калошина, И.П.
Построение формулировок теорем и способов доказательств: логические приемы мышления в творческой деятельности
Издательство Саратовского университета, Саранский филиал, 1988 г.
ISBN 5-292-00177-5
Калошина, И.П.
Построение формулировок теорем и способов доказательств: логические приемы мышления в творческой деятельности
Издательство Саратовского университета, Саранский филиал, 1988 г.
ISBN 5-292-00177-5
Книга
Ильичев, Н.М.
Проблема доказательства в философии и военной науке
Издательство Ростовского университета, 1982 г.
ISBN отсутствует
Ильичев, Н.М.
Проблема доказательства в философии и военной науке
Издательство Ростовского университета, 1982 г.
ISBN отсутствует
Книга
Градштейн, И.С.
Прямая и обратная теоремы: элементы алгебры логики
Наука, 1972 г.
ISBN отсутствует
Градштейн, И.С.
Прямая и обратная теоремы: элементы алгебры логики
Наука, 1972 г.
ISBN отсутствует
Книга
Градштейн, И.С.
Прямая и обратная теоремы: элементы алгебры логики
Физматлит, 1959 г.
ISBN отсутствует
Градштейн, И.С.
Прямая и обратная теоремы: элементы алгебры логики
Физматлит, 1959 г.
ISBN отсутствует
Книга
Градштейн, И.С.
Прямая и обратная теоремы: элементы алгебры логики
Наука, 1965 г.
ISBN отсутствует
Градштейн, И.С.
Прямая и обратная теоремы: элементы алгебры логики
Наука, 1965 г.
ISBN отсутствует
Книга
Перминов, В.Я.
Развитие представлений о надежности математического доказательства
Издательство Московского университета, 1986 г.
ISBN отсутствует
Перминов, В.Я.
Развитие представлений о надежности математического доказательства
Издательство Московского университета, 1986 г.
ISBN отсутствует