Новые поступления (книга в стадии обработки) Воленьский, Ян. Львовско-Варшавская философская школа [Текст] = Filozoficzna Szkola Lwowsko-Warszawska : научное издание / Я. Воленьский ; . - Москва : РОССПЭН, 2004. - 470, [2] с. - Библиогр. - ISBN 5-8243-0530-7 (в пер.) : 105.00 р.
Рубрики: философия--философия Польши--Польша, 19-20 вв. Кл.слова (ненормированные): Львовско-Варшавская философская школа -- персоналии -- наука -- этика -- логика -- школы и направления в философии -- высказывания -- метаматематика -- семантика -- истина -- познание -- онтология -- философия языка -- философия науки -- рассуждения -- индукция -- вероятность -- обоснование -- неопозитивизм -- марксизм Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Энгелер, Э. Метаматематика элементарной математики [Текст] : научное издание / Э. Энгелер ; пер. с нем. Г. Е. Минц. - М. : Мир, 1987. - 128 с. ; 20 см. - 0.50 р.
Рубрики: МАТЕМАТИКА--ЭЛЕМЕНТАРНАЯ МАТЕМАТИКА Кл.слова (ненормированные): МАТЕМАТИКА -- ЭЛЕМЕНТАРНАЯ МАТЕМАТИКА -- МЕТАМАТЕМАТИКА -- КОНТИНиум -- АЛГОРИТМИКА -- ЛАМБДА-ИСЧИСЛЕНИЕ Аннотация: Изложены проблемы обоснования теории вещественных чисел, аксиоматика геометрии, понятие алгоритма. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Минц, Г. Е. |