1 “... trained a team of researchers that included some of the most important logicians and philosophers...”

2 Table of Contents: “... -- 7. Constructivist alternative: Proofs of propositions -- References -- Stable Philosophical Systems...”