The MIT Libraries is completing a major upgrade to DSpace@MIT.
Starting May 5 2026, DSpace will remain functional, viewable, searchable, and downloadable, however, you will not be able to edit existing collections or add new material.
We are aiming to have full functionality restored by May 18, 2026, but intermittent service interruptions may occur.
Please email dspace-lib@mit.edu with any questions.
Thank you for your patience as we implement this important upgrade.
Hilbert's thesis : some considerations about formalizations of mathematics
| dc.contributor.advisor | George Boolos. | en_US |
| dc.contributor.author | Berk, Lon A | en_US |
| dc.contributor.other | Massachusetts Institute of Technology. Dept. of Linguistics and Philosophy. | en_US |
| dc.date.accessioned | 2009-01-23T14:40:21Z | |
| dc.date.available | 2009-01-23T14:40:21Z | |
| dc.date.copyright | 1982 | en_US |
| dc.date.issued | 1982 | en_US |
| dc.identifier.uri | http://dspace.mit.edu/handle/1721.1/15650 | en_US |
| dc.identifier.uri | http://hdl.handle.net/1721.1/15650 | |
| dc.description | Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Linguistics and Philosophy, 1982. | en_US |
| dc.description | MICROFICHE COPY AVAILABLE IN ARCHIVES AND HUMANITIES | en_US |
| dc.description | Bibliography: leaves 175-176. | en_US |
| dc.description.statementofresponsibility | by Lon A. Berk. | en_US |
| dc.format.extent | 176 [i.e. 177] leaves | en_US |
| dc.language.iso | eng | en_US |
| dc.publisher | Massachusetts Institute of Technology | en_US |
| dc.rights | M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission. | en_US |
| dc.rights.uri | http://dspace.mit.edu/handle/1721.1/15650 | en_US |
| dc.rights.uri | http://dspace.mit.edu/handle/1721.1/7582 | en_US |
| dc.subject | Linguistics and Philosophy. | en_US |
| dc.subject.lcsh | Logic, Symbolic and mathematical | en_US |
| dc.subject.lcsh | First-order logic | en_US |
| dc.title | Hilbert's thesis : some considerations about formalizations of mathematics | en_US |
| dc.type | Thesis | en_US |
| dc.description.degree | Ph.D. | en_US |
| dc.contributor.department | Massachusetts Institute of Technology. Department of Linguistics and Philosophy | |
| dc.identifier.oclc | 10583921 | en_US |
