A Modern Perspective on Type Theory: from Its Origins Until Today - Applied Logic Series - Fairouz D. Kamareddine - Books - Springer-Verlag New York Inc. - 9781402023347 - June 9, 2004
In case cover and title do not match, the title is correct

Fairouz D. Kamareddine
A Modern Perspective on Type Theory: from Its Origins Until Today - Applied Logic Series 2004 edition

Price
HK$ 1,463
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Aug 4 - 10
Get notified about new Fairouz D. Kamareddine releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

Also available as:

Provides an overview of type theory. This title places historical systems in the modern setting. It deals with modern type theory as it developed since the 1940s, and with the role of propositions as types or proofs as terms. It proposes systems that bring more advantages together.

360 pages, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released June 9, 2004
ISBN13 9781402023347
Publishers Springer-Verlag New York Inc.
Pages 360
Dimensions 155 × 235 × 22 mm   ·   707 g
Language English  

More from the same publisher

See all of Fairouz D. Kamareddine ( e.g. Hardcover Book and Paperback Book )