Free shipping on all orders over $79* Limited Time Only

My Wish Lists Login / Join

Results for author 'Jeremy Avigad'

Refine Your Results

subjects

Computing & I.T.

2

Mathematics

2

Science

2

lists

All Books

2

availability

All Books

2

price

Over $100

2

formats

Paperbacks

1

Hardcovers

1

Language

Sort By:

Booktopia Recommends

Bestsellers

Price Low to High

Price High to Low

Most Recently Published

Interactive Theorem Proving : 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings - Assia Mahboubi

Interactive Theorem Proving

9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

Assia Mahboubi and Jeremy Avigad

Paperback

$149.01

Mathematical Logic and Computation - Jeremy Avigad

Mathematical Logic and Computation

Hardcover

RRP $123.95

$113.75

2 Results