| search results |

displaying 7 results for author search for 'Gilles Dowek'

Computation, Proof, Machine: Mathematics Enters a New Age

Gilles Dowek
Hardback, 158 pages
ISBN-13: 9780521118019
5 May 2015
Readership Age:
mathematics / history & philosophy Price: R 3 239.95
| on special |
normal price: R 3 599.95

This title will be printed on demand for your order. Delivery will be 6 weeks or less.

| read more |

| add to trolley |

Computation, Proof, Machine: Mathematics Enters a New Age

Gilles Dowek
Paperback / softback, 160 pages
ISBN-13: 9780521133777
5 May 2015
Readership Age:
mathematics / history & philosophy Price: R 1 961.95
| on special |
normal price: R 2 179.95

Usually dispatched in 3 to 4 weeks as supplier is out of stock

| read more |

| add to trolley |

Rewriting and Typed Lambda Calculi: Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Gilles Dowek
Paperback / softback, 491 pages
ISBN-13: 9783319089171
15 Jul 2014
Readership Age:
computers / computer science Price: R 1 536.95
| on special |
normal price: R 1 707.95

This title will take longer to obtain, and should be delivered in 6-8 weeks

| read more |

| add to trolley |

Proofs and Algorithms: An Introduction to Logic and Computability

Gilles Dowek
Paperback / softback, 156 pages
ISBN-13: 9780857291202
14 Jan 2011
Readership Age:
computers / machine theory Price: R 1 382.95
| on special |
normal price: R 1 536.95

Available from overseas. Usually dispatched in 14 days

| read more |

| add to trolley |

Introduction to the Theory of Programming Languages

Gilles Dowek
Paperback / softback, 96 pages
ISBN-13: 9780857290755
15 Dec 2010
Readership Age:
computers / programming languages / general Price: R 1 382.95
| on special |
normal price: R 1 536.95