Show simple item record

Expressing consistency : Gödel's second imcompleteness theorem and intensionality in metamathematics

dc.contributor.advisorGeorge S. Boolos.en_US
dc.contributor.authorAuerbach, David Danielen_US
dc.date.accessioned2009-01-30T18:31:40Z
dc.date.available2009-01-30T18:31:40Z
dc.date.copyright1978en_US
dc.date.issued1978en_US
dc.identifier.urihttp://dspace.mit.edu/handle/1721.1/16322en_US
dc.identifier.urihttp://hdl.handle.net/1721.1/16322
dc.descriptionThesis. 1978. Ph.D.--Massachusetts Institute of Technology. Dept. of Linguistics and Philosophy.en_US
dc.descriptionMICROFICHE COPY AVAILABLE IN ARCHIVES AND HUMANITIES.en_US
dc.descriptionBibliography: leaves 131-132.en_US
dc.description.statementofresponsibilityby David D. Auerbach.en_US
dc.format.extent132 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/16322en_US
dc.rights.urihttp://dspace.mit.edu/handle/1721.1/7582en_US
dc.subjectLinguistics and Philosophyen_US
dc.subject.lcshMetamathematicsen_US
dc.subject.lcshGödel's theoremen_US
dc.subject.lcshLogic, Symbolic and mathematicalen_US
dc.subject.lcshSemantics (Philosophy)en_US
dc.titleExpressing consistency : Gödel's second imcompleteness theorem and intensionality in metamathematicsen_US
dc.typeThesisen_US
dc.description.degreePh.D.en_US
dc.contributor.departmentMassachusetts Institute of Technology. Department of Linguistics and Philosophy
dc.identifier.oclc05968612en_US


Files in this item

Thumbnail
Name:
05968612-MIT.pdf
Size:
5.269Mb
Format:
PDF
Description:
Full printable version
View/Open

This item appears in the following Collection(s)

Show simple item record