Hilbert's thesis : some considerations about formalizations of mathematics
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Linguistics and Philosophy, 1982.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | eng |
| Published: |
Massachusetts Institute of Technology
2009
|
| Subjects: | |
| Online Access: | http://dspace.mit.edu/handle/1721.1/15650 http://hdl.handle.net/1721.1/15650 |
| _version_ | 1811085927414497280 |
|---|---|
| author | Berk, Lon A |
| author2 | George Boolos. |
| author_facet | George Boolos. Berk, Lon A |
| author_sort | Berk, Lon A |
| collection | MIT |
| description | Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Linguistics and Philosophy, 1982. |
| first_indexed | 2024-09-23T13:17:39Z |
| format | Thesis |
| id | mit-1721.1/15650 |
| institution | Massachusetts Institute of Technology |
| language | eng |
| last_indexed | 2024-09-23T13:17:39Z |
| publishDate | 2009 |
| publisher | Massachusetts Institute of Technology |
| record_format | dspace |
| spelling | mit-1721.1/156502019-04-10T09:31:53Z Hilbert's thesis : some considerations about formalizations of mathematics Berk, Lon A George Boolos. Massachusetts Institute of Technology. Dept. of Linguistics and Philosophy. Massachusetts Institute of Technology. Dept. of Linguistics and Philosophy. Linguistics and Philosophy. Logic, Symbolic and mathematical First-order logic Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Linguistics and Philosophy, 1982. MICROFICHE COPY AVAILABLE IN ARCHIVES AND HUMANITIES Bibliography: leaves 175-176. by Lon A. Berk. Ph.D. 2009-01-23T14:40:21Z 2009-01-23T14:40:21Z 1982 1982 Thesis http://dspace.mit.edu/handle/1721.1/15650 http://hdl.handle.net/1721.1/15650 10583921 eng 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. http://dspace.mit.edu/handle/1721.1/15650 http://dspace.mit.edu/handle/1721.1/7582 176 [i.e. 177] leaves application/pdf Massachusetts Institute of Technology |
| spellingShingle | Linguistics and Philosophy. Logic, Symbolic and mathematical First-order logic Berk, Lon A Hilbert's thesis : some considerations about formalizations of mathematics |
| title | Hilbert's thesis : some considerations about formalizations of mathematics |
| title_full | Hilbert's thesis : some considerations about formalizations of mathematics |
| title_fullStr | Hilbert's thesis : some considerations about formalizations of mathematics |
| title_full_unstemmed | Hilbert's thesis : some considerations about formalizations of mathematics |
| title_short | Hilbert's thesis : some considerations about formalizations of mathematics |
| title_sort | hilbert s thesis some considerations about formalizations of mathematics |
| topic | Linguistics and Philosophy. Logic, Symbolic and mathematical First-order logic |
| url | http://dspace.mit.edu/handle/1721.1/15650 http://hdl.handle.net/1721.1/15650 |
| work_keys_str_mv | AT berklona hilbertsthesissomeconsiderationsaboutformalizationsofmathematics |