Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday - Christoph Benzmueller - Books - College Publications - 9781904987703 - December 1, 2008
In case cover and title do not match, the title is correct

Christoph Benzmueller
Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday

Price
Íkr 5,679
excl. VAT

Ordered from remote warehouse

Expected delivery Aug 24 - Sep 7
Get notified about new Christoph Benzmueller 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

Media Books     Paperback Book   (Book with soft cover and glued back)
Released December 1, 2008
ISBN13 9781904987703
Publishers College Publications
Pages 480
Dimensions 156 × 234 × 25 mm   ·   666 g
Language English  

More from the same publisher

See all of Christoph Benzmueller ( e.g. Paperback Book )