el cat en
База данных: Electronic catalog FEFU
Page 1, Results: 2
Отмеченные записи: 0
1.
Подробнее
87.4я73 Г 443
Гетманова, Александра Денисовна.
Логика. Углубленный курс : учебное пособие для вузов / А. Д. Гетманова. - [Москва] : КноРус, 2007. - 192 с. : ил., табл.. - ISBN 9785859717781
ББК 87.4я73
Рубрики: философия
Кл.слова (ненормированные):
Логика -- законы правильного мышления -- формы мышления -- гипотеза -- классическая логика -- интуиционная логика -- конструктивная логика
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Гетманова, Александра Денисовна.
Логика. Углубленный курс : учебное пособие для вузов / А. Д. Гетманова. - [Москва] : КноРус, 2007. - 192 с. : ил., табл.. - ISBN 9785859717781
Рубрики: философия
Кл.слова (ненормированные):
Логика -- законы правильного мышления -- формы мышления -- гипотеза -- классическая логика -- интуиционная логика -- конструктивная логика
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
2.
Подробнее
51
М 268
Марков, Андрей Андреевич
Избранные труды : в 2 томах / А. А. Марков ; составление и общая редакция Н. М. Нагорного ; научый редактор М. Н. Домбровский. - Москва : Изд-во Московского центра непрерывного математического образования, 2003. - ISBN 5940570445.
Т. 2 : Теория алгорифмов и конструктивная математика, математическая логика, информатика и смежные вопросы. - 2003. - XX, 626 с., [1] л. портр. : ил. - Библиогр. в конце ст.. - ISBN 5940571131
Приложения : с. 524-600
Рубрики: математика
Кл.слова (ненормированные):
теория алгорифмов -- математическая логика -- информатика -- рекурсивные функции -- конструктивная математика -- конструктивная логика -- булевы функции -- представимость матриц -- кибернетика -- вычислительная математика
Доп.точки доступа:
Нагорный, Н. М. \ред., сост.\
Домбровский, М. Н. \ред.\
Экземпляры всего: 2
Книгохранение (2)
Свободны: Книгохранение (2)
М 268
Марков, Андрей Андреевич
Избранные труды : в 2 томах / А. А. Марков ; составление и общая редакция Н. М. Нагорного ; научый редактор М. Н. Домбровский. - Москва : Изд-во Московского центра непрерывного математического образования, 2003. - ISBN 5940570445.
Т. 2 : Теория алгорифмов и конструктивная математика, математическая логика, информатика и смежные вопросы. - 2003. - XX, 626 с., [1] л. портр. : ил. - Библиогр. в конце ст.. - ISBN 5940571131
Приложения : с. 524-600
УДК |
Рубрики: математика
Кл.слова (ненормированные):
теория алгорифмов -- математическая логика -- информатика -- рекурсивные функции -- конструктивная математика -- конструктивная логика -- булевы функции -- представимость матриц -- кибернетика -- вычислительная математика
Доп.точки доступа:
Нагорный, Н. М. \ред., сост.\
Домбровский, М. Н. \ред.\
Экземпляры всего: 2
Книгохранение (2)
Свободны: Книгохранение (2)
Page 1, Results: 2