Concepts of Proof in Mathematics, Philosophy, and Computer Science || The Continuum Hypothesis Implies Excluded Middle
Probst, Dieter, Schuster, PeterТом:
10.1515/97
Рік:
2016
Мова:
english
DOI:
10.1515/9781501502620-006
Файл:
PDF, 448 KB
english, 2016