Constructive type theory was first presented in 1970 by Swedish logician Per Martin-Lof. Since then, it has become one of the main approaches in the foundations of mathematics and computer science. However, although it provides a considerable extension of the concepts and techniques of logic, it remains relatively unknown among linguists and philosophers. This work presents constructive type theory from the point of view of linguistics and the philosophy of language, introducing its valuable approach to those in areas in ...
Read More
Constructive type theory was first presented in 1970 by Swedish logician Per Martin-Lof. Since then, it has become one of the main approaches in the foundations of mathematics and computer science. However, although it provides a considerable extension of the concepts and techniques of logic, it remains relatively unknown among linguists and philosophers. This work presents constructive type theory from the point of view of linguistics and the philosophy of language, introducing its valuable approach to those in areas in which it has remained unfamiliar. The theory is then applied to quantification, anaphora, temporal reference, and the structures of text and discourse. Various phenomena of dependence and progression are discussed in the light of concepts of proof object and content, and the solutions to several well-known problems are discussed.
Read Less
Add this copy of Type-Theoretical Grammar to cart. $91.84, new condition, Sold by Ria Christie Books rated 4.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 1995 by Clarendon Press.
Add this copy of Type-Theoretical Grammar to cart. $94.16, new condition, Sold by GreatBookPricesUK5 rated 4.0 out of 5 stars, ships from Castle Donington, DERBYSHIRE, UNITED KINGDOM, published 1995 by Clarendon Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Sewn binding. Cloth over boards. 238 p. Contains: Unspecified. Indices, 1. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Add this copy of Type-Theoretical Grammar: 1 (Indices) to cart. $98.27, new condition, Sold by Books2anywhere rated 5.0 out of 5 stars, ships from Fairford, GLOUCESTERSHIRE, UNITED KINGDOM, published 1995 by Clarendon Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
PLEASE NOTE, WE DO NOT SHIP TO DENMARK. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Please note we cannot offer an expedited shipping service from the UK.
Add this copy of Type-Theoretical Grammar: 1 (Indices) to cart. $104.41, new condition, Sold by Paperbackshop International rated 1.0 out of 5 stars, ships from Fairford, GLOS, UNITED KINGDOM, published 1995 by Clarendon Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
PLEASE NOTE, WE DO NOT SHIP TO DENMARK. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Please note we cannot offer an expedited shipping service from the UK.
Add this copy of Type-Theoretical Grammar to cart. $108.83, new condition, Sold by GreatBookPrices rated 4.0 out of 5 stars, ships from Columbia, MD, UNITED STATES, published 1995 by Clarendon Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Sewn binding. Cloth over boards. 238 p. Contains: Unspecified. Indices, 1. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Add this copy of Type-Theoretical Grammar to cart. $113.00, like new condition, Sold by GreatBookPrices rated 4.0 out of 5 stars, ships from Columbia, MD, UNITED STATES, published 1995 by OUP Oxford.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fine. Sewn binding. Cloth over boards. 238 p. Contains: Unspecified. Indices, 1. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
