Description:
New/New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!
The Seventeen Provers of the World: Foreword by Dana S. Scott (Lecture Notes in Computer Science, 3600) by Wiedijk, Freek [Editor]
by Wiedijk, Freek [Editor]
Similar copies are shown below.
Similar copies are shown to the right.
![The Seventeen Provers of the World: Foreword by Dana S. Scott (Lecture Notes in Computer Science, 3600) by Wiedijk, Freek [Editor]](https://d3525k1ryd2155.cloudfront.net/f/044/307/9783540307044.IN.0.m.jpg)
Stock Photo: Cover May Be Different
The Seventeen Provers of the World: Foreword by Dana S. Scott (Lecture Notes in Computer Science, 3600)
by Wiedijk, Freek [Editor]
- New
- Paperback
Springer. paperback. New. 6x0x9. Brand New Book in Publishers original Sealing
-
Bookseller
Independent bookstores
(US)
- Format/Binding Paperback
- Book Condition New New
- Quantity Available 5
- Binding Paperback
- ISBN 10 3540307044
- ISBN 13 9783540307044
- Publisher Springer
- Size 6x0x9
- X weight 9 oz
- Size 6x0x9
We have 6 copies available starting at CA$64.61.
Stock Photo: Cover May Be Different
The Seventeen Provers Of The World
- New
- Condition
- New
- Jacket Condition
- New
- ISBN 10 / ISBN 13
- 9783540307044 / 3540307044
- Quantity Available
- 1
- Seller
-
New Delhi, India
- Item Price
-
CA$64.61CA$5.00 shipping to
Show Details
Item Price
CA$64.61
CA$5.00
shipping to
Stock Photo: Cover May Be Different
The Seventeen Provers of the World
- Used
- Condition
- Used
- ISBN 10 / ISBN 13
- 9783540307044 / 3540307044
- Quantity Available
- 1
- Seller
-
Woodside, New York, United States
- Item Price
-
CA$68.91CA$3.99 shipping to
Show Details
Description:
Springer , pp. 182 . Papeback. Used.
Item Price
CA$68.91
CA$3.99
shipping to
Stock Photo: Cover May Be Different
The Seventeen Provers of the World : Foreword by Dana S. Scott
by Freek Wiedijk
- New
- Condition
- New
- ISBN 10 / ISBN 13
- 9783540307044 / 3540307044
- Quantity Available
- 47
- Seller
-
Uxbridge, Greater London, United Kingdom
- Item Price
-
CA$81.58CA$7.99 shipping to
Show Details
Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The The Seventeen Provers of the World : Foreword by Dana S. Scott.
Item Price
CA$81.58
CA$7.99
shipping to
Stock Photo: Cover May Be Different
THE SEVENTEEN PROVERS OF THE WORLD
by WIEDIJK, FREEK ,
- New
- Paperback
- first
- Condition
- New
- Jacket Condition
- New
- Edition
- 1st
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540307044 / 3540307044
- Quantity Available
- 3
- Seller
-
New Delhi, India
- Item Price
-
CA$86.88CA$10.00 shipping to
Show Details
Description:
Springer, 2006. 1st. Paperback. New/New.
Item Price
CA$86.88
CA$10.00
shipping to
Stock Photo: Cover May Be Different
The Seventeen Provers of the World: Foreword by Dana S. Scott
by Freek Wiedijk
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540307044 / 3540307044
- Quantity Available
- 10
- Seller
-
Southport, Merseyside, United Kingdom
- Item Price
-
CA$93.78CA$9.95 shipping to
Show Details
Description:
Paperback / softback. New. Commemorating the 50th anniversary of the first time a mathematical theorem was proven by a computer system, Freek Wiedijk initiated the present book in 2004 by inviting formalizations of a proof of the irrationality of the square root of two from scientists using various theorem proving systems.
Item Price
CA$93.78
CA$9.95
shipping to
Stock Photo: Cover May Be Different
The Seventeen Provers of the World: Foreword by Dana S. Scott (Lecture Notes in Computer Science, 3600)
by Wiedijk, Freek [Editor]
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540307044 / 3540307044
- Quantity Available
- 1
- Seller
-
San Diego, California, United States
- Item Price
-
CA$204.33CA$5.45 shipping to
Show Details
Description:
Springer, 2006-02-03. Paperback. New. New. In shrink wrap. Looks like an interesting title!
Item Price
CA$204.33
CA$5.45
shipping to