
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.
Highlight Titles
  Hilbert's Tenth Problem Diophantine Classes and Extensions to Global Fields Alexandra Shlapentokh
AUD$185.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  ISBN13:9780521833608 (ISBN10:0521833604)  Available, despatch within 34 weeks  

  How to Prove It A Structured Approach 2nd Edition Daniel J. Velleman
AUD$43.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  ISBN13:9780521675994 (ISBN10:0521675995)  In stock  

  Linear Logic in Computer Science Edited by Thomas Ehrhard, JeanYves Girard, Paul Ruet, Philip Scott
AUD$165.00 (price inclusive of GST)
This book illustrates linear logic in the application of proof theory to computer science.
Published January 2005  Paperback  ISBN13:9780521608572 (ISBN10:0521608570)  Available, despatch within 34 weeks  

  The Covering Property Axiom, CPA A Combinatorial Core of the Iterated Perfect Set Model Krzysztof Ciesielski, Janusz Pawlikowski
AUD$155.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  ISBN13:9780521839204 (ISBN10:0521839203)  Temporarily unavailable  available from November 2014  
