Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie /

od Heyting, Arend.
Izdano 1974

Novija filozofija matematike /

od 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.
Izdano 1987