Поиск :
Личный кабинет :
Электронный каталог: Справочник таблиц УДК
К списку таблиц УДК
517.11
Сортировать по: заглавиюдате издания
Книга
Драгалин, А.Г.
Математический интуиционизм: введение в теорию доказательств
Наука, 1979 г.
ISBN отсутствует
ОХОФ
Драгалин, А.Г.
Математический интуиционизм: введение в теорию доказательств
Наука, 1979 г.
ISBN отсутствует
ОХОФ
Книга
Избранные вопросы алгебры и логики: сборник, посвященный памяти А.И. Мальцева
Наука, Сибирское отделение, 1973 г.
ISBN отсутствует
ОХОФ
Избранные вопросы алгебры и логики: сборник, посвященный памяти А.И. Мальцева
Наука, Сибирское отделение, 1973 г.
ISBN отсутствует
ОХОФ
Книга
Исследования по неклассическим логикам и теории множеств: [сборник статей]
Наука, 1979 г.
ISBN отсутствует
ОХОФ
Исследования по неклассическим логикам и теории множеств: [сборник статей]
Наука, 1979 г.
ISBN отсутствует
ОХОФ
Книга
Исследования по теории множеств и неклассическим логикам: [сборник статей]
Наука, 1976 г.
ISBN отсутствует
ОХОФ
Исследования по теории множеств и неклассическим логикам: [сборник статей]
Наука, 1976 г.
ISBN отсутствует
ОХОФ
Книга
Мануйлова, А.М.
Элементы алгебры логики: учебное пособие для студентов ХПИ им. В.И. Ленина
ХПИ, 1969 г.
ISBN отсутствует
ОХОФ
Мануйлова, А.М.
Элементы алгебры логики: учебное пособие для студентов ХПИ им. В.И. Ленина
ХПИ, 1969 г.
ISBN отсутствует
ОХОФ
Книга
Машины Тьюринга и рекурсивные функции
ISBN отсутствует
ОХОФ
Машины Тьюринга и рекурсивные функции
Серия: Современная математика
Мир, 1972 г.ISBN отсутствует
ОХОФ
Книга
Мальцев, А.И.
Т.2. : Математическая логика и общая теория алгебраических систем
1976 г.
ISBN отсутствует
ОХОФ
Мальцев, А.И.
Т.2. : Математическая логика и общая теория алгебраических систем
1976 г.
ISBN отсутствует
ОХОФ
Книга
Новиков, П.С.
Конструктивная математическая логика с точки зрения классической
Наука, 1977 г.
ISBN отсутствует
ОХОФ
Новиков, П.С.
Конструктивная математическая логика с точки зрения классической
Наука, 1977 г.
ISBN отсутствует
ОХОФ
Книга
Пензов, Ю.Е.
Элементы математической логики и теории множеств
Издательство Саратовского университета, 1968 г.
ISBN отсутствует
ОХОФ
Пензов, Ю.Е.
Элементы математической логики и теории множеств
Издательство Саратовского университета, 1968 г.
ISBN отсутствует
ОХОФ
Книга
Роджерс, Х.
Теория рекурсивных функций и эффективная вычислимость
Мир, 1972 г.
ISBN отсутствует
ОХОФ
Роджерс, Х.
Теория рекурсивных функций и эффективная вычислимость
Мир, 1972 г.
ISBN отсутствует
ОХОФ
Книга
Слинин, Я.А.
Современная модальная логика: развитие теории алетических модальностей (1920-1960 гг.)
Издательство Ленинградского университета, 1976 г.
ISBN отсутствует
ОХОФ
Слинин, Я.А.
Современная модальная логика: развитие теории алетических модальностей (1920-1960 гг.)
Издательство Ленинградского университета, 1976 г.
ISBN отсутствует
ОХОФ