Logic and Games on Automatic Structures: Playing with Quantifiers and Decompositions (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
by Lukasz Kaiser
ISBN 13: 9783642228063
Format: Paperback (130 pages) Publisher: Springer Published: 22 Jul 2011
Save for later
Introduction to Homotopy Theory (Universitext)
by Martin Arkowitz
ISBN 13: 9781441973283
Format: Paperback (357 pages) Publisher: Springer Published: 23 Jul 2011
Models of Computation in Context: 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings (Lecture ... Computer Science and General Issues)
by
ISBN 13: 9783642218743
Format: Paperback (332 pages) Publisher: Springer Published: 22 Jun 2011
The Strength of Nonstandard Analysis
ISBN 13: 9783211998922
Format: Paperback (421 pages) Publisher: Springer Published: 13 Oct 2010
The Nature of Computation
by Cristopher Moore, Stephan Mertens
ISBN 13: 9780199233212
Format: Hardcover (1032 pages) Publisher: OUP Oxford Published: Jun 2011
Principia Mathematica to *56 (Cambridge Mathematical Library)
by Alfred North Whitehead, Bertrand Russell
ISBN 13: 9780521626064
Format: Paperback (460 pages) Publisher: Cambridge University Press Published: 11 Sep 1997
Sweet Reason: A Field Guide to Modern Logic
by James M. Henle, Jay L. Garfield, Thomas Tymoczko
ISBN 13: 9781444337150
Format: Paperback (424 pages) Publisher: John Wiley & Sons Published: 26 Aug 2011
Lattice Basis Reduction: An Introduction to the LLL Algorithm and Its Applications (Chapman & Hall Pure and Applied Mathematics)
by Murray R. Bremner
ISBN 13: 9781439807026
Format: Hardcover (332 pages) Publisher: CRC Press Published: 08 Sep 2011
Math Work Stations: Independent Learning You Can Count On, K-2
by Debbie Diller
ISBN 13: 9781571107930
Format: Spiral-bound (299 pages) Publisher: Stenhouse Pub Published: 31 Dec 2010
Stat Labs: Mathematical Statistics Through Applications (Springer Texts in Statistics)
by Deborah Nolan,Terry P. Speed
ISBN 13: 9780387989747
Format: Illustrated (301 pages) Publisher: Springer Published: 22 Feb 2009
Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings (Lecture Notes in ... Computer Science and General Issues)
ISBN 13: 9783642216909
Format: Paperback (257 pages) Publisher: Springer Published: 23 May 2011
Introduction to Languges, Machines and Logic: Computable Languages, Abstract Machines and Formal Logic
by Alan P. Parkes
ISBN 13: 9781852334642
Format: Paperback (304 pages) Publisher: Springer Published: 26 Apr 2002