Hilbert's thesis : some considerations about formalizations of mathematics
Citable URI:
http://hdl.handle.net/1721.1/15650
| Title: | Hilbert's thesis : some considerations about formalizations of mathematics |
| Author: | Berk, Lon A |
| Other Contributors: | Massachusetts Institute of Technology. Dept. of Linguistics and Philosophy. |
| Advisor: | George Boolos. |
| Department: | Massachusetts Institute of Technology. Dept. of Linguistics and Philosophy. |
| Publisher: | Massachusetts Institute of Technology |
| Issue Date: | 1982 |
| Description: |
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Linguistics and Philosophy, 1982. MICROFICHE COPY AVAILABLE IN ARCHIVES AND HUMANITIES Bibliography: leaves 175-176. |
| URI: |
http://dspace.mit.edu/handle/1721.1/15650
http://hdl.handle.net/1721.1/15650 |
| Keywords: | Linguistics and Philosophy., Logic, Symbolic and mathematical, First-order logic |
Files in this item
| Files | Size | Format | View | Description |
|---|---|---|---|---|
| Preview, non-printable (open to all) | 8.208Mb |
View/ |
Preview, non-printable (open to all) | |
| Full printable version (MIT only) | 8.208Mb |
View/ |
Full printable version (MIT only) |
This item appears in the following Collection(s)
All Items in DSpace@MIT are protected by original copyright, with all rights reserved, unless otherwise indicated.
|
|
Contact
MIT Libraries
|