Type-Logical Semantics

This page is devoted to the book:

Bob Carpenter. 1998. Type-Logical Semantics. MIT Press. August 1998. ISBN 0-262-53149-6. 575 pp. $35.00 (paper)

For more information on the book, including a table of contents and the back cover blurb, check out:

Ordering Type-Logical Semantics

Both MIT Press and Amazon can handle online orders, even overseas.

The CGI-based theorem prover for type-logical grammar that was used to generate the examples in this book is available on line at:

If you have suggestions, questions or corrections, please send them to Bob Carpenter at carp@colloquial.com.

Directory: