Home > Science, Technology & Medicine > Mathematics & Statistics > Foundations, Combinatorics & Logic
Foundations, Combinatorics & Logic
Highlight titles
Divider
All titles
Divider
New titles
Divider
Sample Chapters
Divider
Related Journals
Search Cambridge titles
at Google Book Search
on this site
Divider
Advanced Search
Divider
Cambridge Alerts
Receive regular updates of our new titles and special offers.  

Foundations, Combinatorics & Logic

Cambridge books covering mathematical logic, category theory, game theory, set theory and mathematical philosophy

Highlight Titles


spacer
Add to basket
spacer

Directed Algebraic Topology
Models of Non-Reversible Worlds
Marco Grandis

The first authored book to present the mathematical foundations and applications of this exciting new field.

Published September 2009 | Hardback | ISBN-13:9780521760362 | In stock

Back to top


spacer
Add to basket
spacer

Games of No Chance 3
Edited by Michael H. Albert, Richard J. Nowakowski

This fascinating look at combinatorial games, that is, games not involving chance or hidden information, offers updates on standard games.

Published August 2009 | Paperback | ISBN-13:9780521678544 | In stock

Back to top


spacer
Add to basket
spacer

Conceptual Mathematics
A First Introduction to Categories
2nd Edition
F. William Lawvere, Stephen H. Schanuel

This truly elementary book on categories introduces retracts, graphs, and adjoints to students and scientists.

Published July 2009 | Paperback | ISBN-13:9780521719162 | In stock

Back to top


spacer
Add to basket
spacer

Logic Colloquium 2004
Edited by Alessandro Andretta, Keith Kearnes, Domenico Zambella

A collection of surveys, tutorials, and research papers from the 2004 Logic Colloquium.

Published January 2008 | Hardback | ISBN-13:9780521884242 | In stock

Back to top


spacer
Add to basket
spacer

The Mathematics of Logic
A Guide to Completeness Theorems and their Applications
Richard W. Kaye

This textbook rescues students from traditional, dry and uninspiring introductory courses in logic, quickly providing context using genuine mathematical applications.

Published July 2007 | Paperback | ISBN-13:9780521708777 | In stock

Back to top


spacer
Add to basket
spacer

Dependence Logic
A New Approach to Independence Friendly Logic
Jouko Väänänen

A systematic logical study of dependence also providing a precise treatment of independence friendly logic.

Published May 2007 | Paperback | ISBN-13:9780521700153 | In stock

Back to top


spacer
Add to basket
spacer

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

This new edition of Daniel J. 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
Sample Chapter
spacer

Logic in Computer Science
Modelling and Reasoning about Systems
2nd Edition
Michael Huth, Mark Ryan

Provides a sound basis in logic, and introduces logical frameworks used in modelling, specifying and verifying computer systems.

Published August 2004 | Paperback | ISBN-13:9780521543101 (ISBN-10:052154310X) | In stock

Back to top