Математическая логика
Математика
  • формат tif
  • размер 9,80 МБ
  • добавлен 17 февраля 2012 г.
Фрейденталь Х. Язык логики
Перевод с английского Ю.А.Петрова. Под редакцией Ю.А.Гастева. — М.: Наука, 1969. — 135 с.
В 1961 г. в Хаарлеме (Нидерланды) вышла небольшая книжка «Exacte logica» («Точная логика»). Автор ее профессор X. Фрейденталь — известный голландский математик с весьма широкими интересами; развивая традиции отечественной школы интуиционистов, он еще в 30-е годы внес существенный вклад в построение интуиционистской топологии; в последние годы большую популярность завоевала книга Фрейденталя «Lincos» («Lingua cosmica»), описывающая предложенный им «космический язык».
Множества и отображения.
Высказывания.
Субъект и предикат.
Формальная логика.
Язык и метаязык.
Похожие разделы