The seventeen provers of the world
By: Freek Wiedijk (ed.) : foreword by Dana S. Scott.
Contributors: Wiedijk, Freek, 1961-; Scott, Dana S.; LINK (Online service)
Series: Lecture notes in computer science -- 3600.; Lecture notes in computer science
Publisher: Springer
Published: 2006
Place of publication: Berlin
Language: eng
Format: Electronic resource
Number of pages: 178
Subjects: Proof theory -- Data processing; Algebra -- Computer programs
Notes: Title from title screen (viewed February 2, 2006)

Electronic book available via SpringerLink.

Print version originally published in 2006.

Access restricted to subscribing institutions.

Print version also available.

Mode of access: World Wide Web.

System requirements: Adobe Acrobat reader required to view PDF document.