
Foundations, Combinatorics & Logic
Cambridge books covering mathematical logic, category theory, game theory, set theory and mathematical philosophy
Highlight Titles
  Directed Algebraic Topology Models of NonReversible Worlds Marco Grandis
The first authored book to present the mathematical foundations and applications of this exciting new field.
Published September 2009  Hardback  ISBN13:9780521760362  In stock  

  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  ISBN13:9780521678544  In stock  

  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  ISBN13:9780521719162  Temporarily unavailable  available from January 2018  

  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  ISBN13:9780521884242  In stock  

  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  ISBN13:9780521708777  In stock  

  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  ISBN13:9780521700153  In stock  

  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  ISBN13:9780521675994 (ISBN10:0521675995)  In stock  

  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  ISBN13:9780521543101 (ISBN10:052154310X)  In stock  
