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