{"id":{"repo_id":"mit","oai_identifier":"oai:dspace.mit.edu:1721.1/16402"},"canonical_url":"https://search.dev.ndltd.org/etd/mit/oai:dspace.mit.edu:1721.1/16402","repository":{"repo_id":"mit","name":"MIT","base_url":"https://dspace.mit.edu/oai/request"},"display":{"title":"First order logic as a formal language : an investigation of categorial grammar.","abstract":"Thesis. 1976. Ph.D.--Massachusetts Institute of Technology. Dept. of Philosophy.","abstract_html":"Thesis. 1976. Ph.D.--Massachusetts Institute of Technology. Dept. of Philosophy.","abstract_has_math":false,"creators":["Levin, Harold Dresner"],"institution":"Massachusetts Institute of Technology","degree_name":null,"degree_level":null,"degree_discipline":null,"degree_department":"Massachusetts Institute of Technology. Department of Linguistics and Philosophy","school":null,"contributors":[],"advisors":["George Boolos."],"committee_chairs":[],"committee_members":[],"year":1976,"date_issued":"1976","date_published":"1976","updated_at":"2026-07-22T22:21:04Z","subjects":["Linguistics and Philosophy"],"languages":["eng"],"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."],"rights_urls":["http://dspace.mit.edu/handle/1721.1/16402","http://dspace.mit.edu/handle/1721.1/7582"],"identifier_entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["http://dspace.mit.edu/handle/1721.1/16402"],"render_values":[{"text":"http://dspace.mit.edu/handle/1721.1/16402","href":"http://dspace.mit.edu/handle/1721.1/16402","code":true}]}]},"links":{"outbound_url":"http://hdl.handle.net/1721.1/16402","outbound_label":"Handle","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["George Boolos."]},{"key":"dc:contributor.department","label":"Department","values":["Massachusetts Institute of Technology. Department of Linguistics and Philosophy"]},{"key":"dc:creator","label":"Author","values":["Levin, Harold Dresner"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2009-01-30T18:31:26Z"]},{"key":"dc:date.available","label":"Dc Date Available","values":["2009-01-30T18:31:26Z"]},{"key":"dc:date.issued","label":"Date","values":["1976"]},{"key":"dc:publisher","label":"Institution","values":["Massachusetts Institute of Technology"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Linguistics and Philosophy"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language.iso","label":"Language (ISO)","values":["eng"]},{"key":"dc:rights","label":"Dc Rights","values":["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."]},{"key":"dc:rights.uri","label":"Rights URI","values":["http://dspace.mit.edu/handle/1721.1/16402","http://dspace.mit.edu/handle/1721.1/7582"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["http://dspace.mit.edu/handle/1721.1/16402","http://hdl.handle.net/1721.1/16402"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["Thesis. 1976. Ph.D.--Massachusetts Institute of Technology. Dept. of Philosophy.","Microfiche copy available in Archives and Humanities.","Bibliography: leaves 165-170."]},{"key":"dc:description.degree","label":"Dc Description Degree","values":["Ph.D."]},{"key":"dc:title","label":"Title","values":["First order logic as a formal language : an investigation of categorial grammar."]}]}],"canonical_facts":{"dc:contributor.advisor":["George Boolos."],"dc:contributor.department":["Massachusetts Institute of Technology. Department of Linguistics and Philosophy"],"dc:creator":["Levin, Harold Dresner"],"dc:date.accessioned":["2009-01-30T18:31:26Z"],"dc:date.available":["2009-01-30T18:31:26Z"],"dc:date.issued":["1976"],"dc:description":["Thesis. 1976. Ph.D.--Massachusetts Institute of Technology. Dept. of Philosophy.","Microfiche copy available in Archives and Humanities.","Bibliography: leaves 165-170."],"dc:description.degree":["Ph.D."],"dc:identifier.uri":["http://dspace.mit.edu/handle/1721.1/16402","http://hdl.handle.net/1721.1/16402"],"dc:language.iso":["eng"],"dc:publisher":["Massachusetts Institute of Technology"],"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."],"dc:rights.uri":["http://dspace.mit.edu/handle/1721.1/16402","http://dspace.mit.edu/handle/1721.1/7582"],"dc:subject":["Linguistics and Philosophy"],"dc:title":["First order logic as a formal language : an investigation of categorial grammar."],"dc:type":["Thesis"]},"updated_at":"2026-07-22T22:21:04Z"}