An Introduction to Gödel's Theorems
Peter Smith

AUD$51.95 (price inclusive of GST)

Peter Smith examines Gödel's Theorems, how they were established and why they matter.

Published September 2007 | Paperback | ISBN-13:9780521674539 | In stock

Hilbert's Tenth Problem
Diophantine Classes and Extensions to Global Fields
Alexandra Shlapentokh

AUD$165.00 (price inclusive of GST)

An account of results extending Hilbert's Tenth Problem to integrally closed subrings of global fields.

Published November 2006 | Hardback | ISBN-13:9780521833608 (ISBN-10:0521833604) | Available, despatch within 3-4 weeks

How to Prove It
A Structured Approach
2nd Edition
Daniel J. Velleman

AUD$41.95 (price inclusive of GST)

This new edition of Dan Velleman's successful textbook contains over 200 new exercises, selected solutions, and an introduction to Proof Designer software.

Published April 2006 | Paperback | ISBN-13:9780521675994 (ISBN-10:0521675995) | Available, despatch within 3-4 weeks

Linear Logic in Computer Science
Edited by Thomas Ehrhard, Jean-Yves Girard, Paul Ruet, Philip Scott

AUD$145.00 (price inclusive of GST)

This book illustrates linear logic in the application of proof theory to computer science.

Published January 2005 | Paperback | ISBN-13:9780521608572 (ISBN-10:0521608570) | Available, despatch within 3-4 weeks

The Covering Property Axiom, CPA
A Combinatorial Core of the Iterated Perfect Set Model
Krzysztof Ciesielski, Janusz Pawlikowski

AUD$150.00 (price inclusive of GST)

Explores a new axiom of set theory, which simplifies proofs, provides deeper insight, and leads to new results.

Published November 2004 | Hardback | ISBN-13:9780521839204 (ISBN-10:0521839203) | Temporarily unavailable - available from May 2013