Enlarge

The seventeen provers of the world

Publication Data

Title The seventeen provers of the world
Contributor Freek Wiedijk
Publisher Springer
Publication date 2006
Publication location Berlin
Language English

Topics

Proof theory :: Data processing
Algebra :: Computer programs

Catalogue Data

OBNB ID GBA634791
ISBN 10 3540307044
ISBN 13 9783540307044
Type BibliographicResource, Book
Dewey Classification 511.3

ISBD

P1053 xvi, 157 p.
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

The seventeen provers of the world. ISBN 9783540307044. Published by Springer in 2006. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.