Show simple item record

dc.contributor.advisorGeorge Boolos.en_US
dc.contributor.authorBerk, Lon Aen_US
dc.contributor.otherMassachusetts Institute of Technology. Dept. of Linguistics and Philosophy.en_US
dc.date.accessioned2009-01-23T14:40:21Z
dc.date.available2009-01-23T14:40:21Z
dc.date.copyright1982en_US
dc.date.issued1982en_US
dc.identifier.urihttp://dspace.mit.edu/handle/1721.1/15650en_US
dc.identifier.urihttp://hdl.handle.net/1721.1/15650
dc.descriptionThesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Linguistics and Philosophy, 1982.en_US
dc.descriptionMICROFICHE COPY AVAILABLE IN ARCHIVES AND HUMANITIESen_US
dc.descriptionBibliography: leaves 175-176.en_US
dc.description.statementofresponsibilityby Lon A. Berk.en_US
dc.format.extent176 [i.e. 177] leavesen_US
dc.language.isoengen_US
dc.publisherMassachusetts Institute of Technologyen_US
dc.rightsM.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.urihttp://dspace.mit.edu/handle/1721.1/15650en_US
dc.rights.urihttp://dspace.mit.edu/handle/1721.1/7582en_US
dc.subjectLinguistics and Philosophy.en_US
dc.subject.lcshLogic, Symbolic and mathematicalen_US
dc.subject.lcshFirst-order logicen_US
dc.titleHilbert's thesis : some considerations about formalizations of mathematicsen_US
dc.typeThesisen_US
dc.description.degreePh.D.en_US
dc.contributor.departmentMassachusetts Institute of Technology. Department of Linguistics and Philosophy
dc.identifier.oclc10583921en_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record