| search results |

displaying 1 results for author search for 'Joakim Wright'

Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 - Proceedings

Joakim Wright
Paperback, 455 pages
ISBN-13: 9783540615873
7 Aug 1996
Readership Age:
No price available
computers / machine theory

This book is currently unavailable. Enquire to check if we can source a used copy

| your trolley |

To view the items in your trolley please sign in.

| sign in |

| specials |

Carlo Rovelli
Paperback / softback
208 pages
was: R 295.95
now: R 265.95
Available from overseas. Usually dispatched in 3 to 6 weeks

| more |

| add to trolley |

Mustafa Suleyman
Paperback / softback
352 pages
was: R 295.95
now: R 265.95
Stock is usually dispatched in 6-12 days from date of order

| more |

| add to trolley |

Carlo Rovelli
Paperback / softback
224 pages
was: R 295.95
now: R 265.95
Available from overseas. Usually dispatched in 3 to 6 weeks

Originally published in Italian: L'ordine del tempo (Milan: Adelphi Edizioni, 2017).

| more |

| add to trolley |