Maths - Logic, Categories and Sets
Below is a selection of the latest major Maths - Logic, Categories and Sets books from Cambridge University Press Australia and New Zealand.
To view our complete range of Maths - Logic, Categories and Sets books, please click the All Titles link to the left.
Click on individual titles for more information - many including downloadable sample pages, index and more.
An Introduction to Gödel's Theorems
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
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
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