Home > Science, Technology & Medicine > Mathematics and Statistics > Maths - Logic, Categories and Sets
Maths - Logic, Categories and Sets
Highlight titles
Divider
All titles
Divider
New titles
Divider
Textbooks
Divider
Sample Chapters
Cambridge Alerts
Quick Search
Advanced Search  

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


spacer
Add to basket
spacer

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 | ISBN-13:9780521833608 (ISBN-10:0521833604) | Available, despatch within 3-4 weeks

Back to top


spacer
Add to basket
spacer

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 | ISBN-13:9780521675994 (ISBN-10:0521675995) | In stock

Back to top


spacer
Add to basket
spacer

Linear Logic in Computer Science
Edited by Thomas Ehrhard, Jean-Yves 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 | ISBN-13:9780521608572 (ISBN-10:0521608570) | Available, despatch within 3-4 weeks

Back to top


spacer
Add to basket
spacer

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 | ISBN-13:9780521839204 (ISBN-10:0521839203) | Temporarily unavailable - available from August 2014

Back to top