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

-н Мендельсон Э.
Хэвлэсэн 1976

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

-н Ершов Ю.Л., Палютин Е.А
Хэвлэсэн 1979

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

-н Гжегорчик А.
Хэвлэсэн 1979

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

-н Ершов Ю.Л., Палютин Е.А
Хэвлэсэн 1979

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

-н Драгалин А.Г
Хэвлэсэн 1979

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

-н Гильберт Д., Бернайс П.
Хэвлэсэн 1979

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

-н Ершов Ю.Л
Хэвлэсэн 1980

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

-н Смальян Р.
Хэвлэсэн 1981

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

Хэвлэсэн 1982

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

-н Гильберт Д., Бернайс П.
Хэвлэсэн 1982

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

Хэвлэсэн 1982

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

Хэвлэсэн 1982

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

-н Летохов В.С
Хэвлэсэн 1983

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

-н Паули В.
Хэвлэсэн 1983

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

Хэвлэсэн 1983

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

-н Берман Г. Н.
Хэвлэсэн 1985

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

-н Симоненко А. Н.
Хэвлэсэн 1985

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

-н Бухараев Р. Г.
Хэвлэсэн 1985

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

-н Крылов Н. В.
Хэвлэсэн 1985

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

-н Арнольд В. И.
Хэвлэсэн 1984