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

by Мендельсон Э.
Published 1976

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

by Ершов Ю.Л., Палютин Е.А
Published 1979

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

by Гжегорчик А.
Published 1979

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

by Ершов Ю.Л., Палютин Е.А
Published 1979

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

by Драгалин А.Г
Published 1979

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

by Гильберт Д., Бернайс П.
Published 1979

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

by Ершов Ю.Л
Published 1980

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

by Смальян Р.
Published 1981

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

Published 1982

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

by Гильберт Д., Бернайс П.
Published 1982

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

Published 1982

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

Published 1982

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

by Летохов В.С
Published 1983

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

by Паули В.
Published 1983

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

Published 1983

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

by Берман Г. Н.
Published 1985

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

by Симоненко А. Н.
Published 1985

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

by Бухараев Р. Г.
Published 1985

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

by Крылов Н. В.
Published 1985

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

by Арнольд В. И.
Published 1984