Intuitionistic logic, model theory and forcing

Библиографические подробности
Главный автор: Fitting, Melvin Chris, 1942-
Формат:
Язык:English
Опубликовано: Amsterdam North-Holland Pub. Co. 1969.
Серии:Studies in logic and the foundation of mathematics.
Предметы: