Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie /

بواسطة Heyting, Arend.
منشور في 1974

Novija filozofija matematike /

بواسطة Carnap, Rudolf., Heyting, Arend., Neumann, Johann von., Lakatos, Imre., Quine, Willard Van Orman., Goodstein, R. L., Gödel, Kurt., Beth, Evert W., Kleene, Stephen Cole., Prawitz, Dag., Kreisel, Georg.
منشور في 1987