Page 186 - Textos de Matemática Vol. 40

174 Bibliography
[TvD88a] Anne Troelstra and Dirk van Dalen. Constructivism in Mathematics,
volume I. North-Holland, 1988.
[TvD88b] Anne Troelstra and Dirk van Dalen. Constructivism in Mathematics, volume II. North-Holland, 1988.
[vF68] B. van Fraassen. Presupposition, implication and self-reference. Journal of Philosophy, 65:135–152, 1968.
[vF70] B. van Fraassen. Inference and self-reference. Synthese, 21:425–438, 1970.
[vH67] Jean van Heijenoort, editor. From Frege to G¨odel: A Source Book in Mathematical Logic, 1879–1931. Harvard University Press, 1967.
[vLH05] Michiel van Lambalgen and Fritz Hamm. The Proper Treatment of Events. Blackwell, Malden, 2005.
[vN25] Johann von Neumann. Eine Axiomatisierung der Mengenlehre. Jour- nal fu¨r die reine und angewandte Mathematik, 154:219–240, 1925. Reprinted in [vN61a].
[vN27] Johann von Neumann. Zur Hilbertschen Beweistheorie. Mathemati- sche Zeitschrift, 26:1–46, 1927. Reprinted in [vN61a, p. 256–300].
[vN28] Johann von Neumann. Die Axiomatisierung der Mengenlehre. Ma- thematische Zeitschrift, 27:669–752, 1928. Reprinted in [vN61a, p. 339–422]; cited accoring to this reprint.
[vN29] Johann von Neumann. U¨ber eine Widerspruchfreiheitsfrage in der axiomatischen Mengenlehre. Journal fu¨r die reine und angewandte Mathematik, 160:227–241, 1929. Reprinted in [vN61a, p. 494–508].
[vN31a] Johann von Neumann. Bemerkungen zu den Ausfu¨hrungen von Herrn St. Lesniewski u¨ber meine Arbeit ”Zur Hilbertschen Beweis- theorie“. Fundamenta Mathematicae, 17:331–334, 1931. Reprinted in [vN61b].
[vN31b] Johann von Neumann. Die formalistische Grundlegung der Mathe- matik. Erkenntnis, 2:116–121, 1931. Reprinted in [vN61b].
[vN61a] John von Neumann. Collected Works, volume I. Pergamon Press, 1961.
[vN61b] John von Neumann. Collected Works, volume II. Pergamon Press, 1961.
[vR80] M.vonRimscha.MengentheoretischeModelledesλK-Kalku¨ls. Archiv fu¨r mathematische Logik, 20:65–74, 1980.