D. Hilbert. The foundations of mathematics. In J. van Heijenoort, editor, From Frege to Godel: A Sourcebook in Mathematical Logic, 1879-1931, pages 464--479. Harvard University Press, Cambridge, Massachusetts, 1967. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
On the computational content of the Axiom of Choice - Berardi, Bezem, Coquand (1995) (8 citations) (Correct)
Ordinals and Interactive Programs - Hancock (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC