Введение в математическую логику

по Мендельсон Э.
Опубликовано 1976

Математическая логика

по Ершов Ю.Л., Палютин Е.А
Опубликовано 1979

Популярная логика Общедоступный очерк логики предложений

по Гжегорчик А.
Опубликовано 1979

Математическая логика

по Ершов Ю.Л., Палютин Е.А
Опубликовано 1979

Математический интуиционизм введение в теорию доказательств

по Драгалин А.Г
Опубликовано 1979

Основания математики Логические исчисления и формализация арифметика

по Гильберт Д., Бернайс П.
Опубликовано 1979

Проблемы разрешимости и конструктивные модели

по Ершов Ю.Л
Опубликовано 1980

Теория формальных систем

по Смальян Р.
Опубликовано 1981

Спаровоная книга по математической логике

Опубликовано 1982

Основания математики Теория доказательств

по Гильберт Д., Бернайс П.
Опубликовано 1982

Спаровоная книга по математической логике

Опубликовано 1982

Спаровоная книга по математической логике

Опубликовано 1982

Нелинейные селективные фотопроцессы в атомах и молекулах

по Летохов В.С
Опубликовано 1983

Теория относительности Пер. с англ.

по Паули В.
Опубликовано 1983

Советский Союз в экономических и научно-технических организациях ООН

Опубликовано 1983

Сборник задач по курсу математического анализа Учеб.пособие для вузов.

по Берман Г. Н.
Опубликовано 1985

Астероиды или тернистые пути исследований

по Симоненко А. Н.
Опубликовано 1985

Основы теории вероятностных автоматов

по Бухараев Р. Г.
Опубликовано 1985

Нелинейные эллиптические и параболические уравнения второго порядка

по Крылов Н. В.
Опубликовано 1985

Обыкновенные дифференциальные уравнения Учеб. пособие для мех.-мат. спец. вузов]

по Арнольд В. И.
Опубликовано 1984