The Clausal Theory of Types - Cambridge Tracts in Theoretical Computer Science - Wolfram, D. A. (University of Oxford) - Books - Cambridge University Press - 9780521117906 - July 30, 2009
In case cover and title do not match, the title is correct

Wolfram, D. A. (University of Oxford)
The Clausal Theory of Types - Cambridge Tracts in Theoretical Computer Science

Price
R 783
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Nov 25 - Dec 7
Christmas presents can be returned until 31 January
Get notified about new Wolfram, D. A. (University of Oxford) 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:

In this book is presented the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types.

136 pages, black & white illustrations

Media Books     Paperback Book   (Book with soft cover and glued back)
Released July 30, 2009
ISBN13 9780521117906
Publishers Cambridge University Press
Pages 136
Dimensions 170 × 244 × 7 mm   ·   230 g
Language English  

More from the same publisher

See all of Wolfram, D. A. (University of Oxford)