First order logic as a formal language : an investigation of categorial grammar.
Thesis. 1976. Ph.D.--Massachusetts Institute of Technology. Dept. of Philosophy.
Main Author: | Levin, Harold Dresner |
---|---|
Other Authors: | George Boolos. |
Format: | Thesis |
Language: | eng |
Published: |
Massachusetts Institute of Technology
2009
|
Subjects: | |
Online Access: | http://dspace.mit.edu/handle/1721.1/16402 http://hdl.handle.net/1721.1/16402 |
Similar Items
-
Hilbert's thesis : some considerations about formalizations of mathematics
by: Berk, Lon A
Published: (2009) -
Natural language and formal languages
by: Maciá Fábrega, Josep
Published: (2009) -
Paths and categories
by: Pesetsky, David Michael
Published: (2009) -
Ignorance and grammar
by: Meyer, Marie-Christine, Ph. D. Massachusetts Institute of Technology
Published: (2014) -
A formal study of syllable, tone, stress and domain in Chinese languages
by: Duanmu, San
Published: (2009)