First order logic as a formal language : an investigation of categorial grammar.

Thesis. 1976. Ph.D.--Massachusetts Institute of Technology. Dept. of Philosophy.

Bibliographic Details
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