Vredenduin, P. G. J. The logic of negationless mathematics. (English) Zbl 0053.20201 Compos. Math. 11, 204-270 (1953). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 3 Documents Keywords:philosophy and foundations of mathematics PDF BibTeX XML Cite \textit{P. G. J. Vredenduin}, Compos. Math. 11, 204--270 (1953; Zbl 0053.20201) Full Text: Numdam EuDML OpenURL