Finite and Algorithmic Model Theory (London Mathematical Society Lecture Note Series)
by
ISBN 13: 9780521718202
Format: Paperback (356 pages) Publisher: Cambridge University Press Published: 10 Mar 2011
Save for later
Schaum's Outline of Logic, Second Edition (Schaum's Outline Series)
by John Nolt,Dennis Rohatyn,Achille Varzi
ISBN 13: 9780071755467
Format: Paperback (336 pages) Publisher: Schaum's Outlines Published: 01 Mar 2011
An Accompaniment to Higher Mathematics (Undergraduate Texts in Mathematics)
by George R. R. Exner
ISBN 13: 9780387946177
Format: Illustrated (224 pages) Publisher: Springer Published: 22 Jun 1999
Independence-Friendly Logic: A Game-Theoretic Approach (London Mathematical Society Lecture Note Series)
by Allen L. Mann,Gabriel Sandu,Merlijn Sevenster
ISBN 13: 9780521149341
Format: Paperback (216 pages) Publisher: Cambridge University Press Published: 05 May 2011
The Colorado Mathematical Olympiad and Further Explorations: From the Mountains of Colorado to the Peaks of Mathematics: The First Twenty Years and Further Explorations
by Alexander Soifer
ISBN 13: 9780387754710
Format: Paperback (447 pages) Publisher: Springer Published: 11 Apr 2011
Lectures on Concurrency and Petri Nets: Advances in Petri Nets (Lecture Notes in Computer Science)
ISBN 13: 9783540222613
Format: Paperback (857 pages) Publisher: Springer Published: 14 Jun 2004
Reconfigurable Computing: Accelerating Computation with Field-Programmable Gate Arrays
by Maya B. Gokhale,Paul S. Graham
ISBN 13: 9781441938657
Format: Paperback (248 pages) Publisher: Springer Published: 12 Oct 2010
Computation Engineering: Applied Automata Theory and Logic
by Ganesh Gopalakrishnan
ISBN 13: 9781441937414
Format: Paperback (512 pages) Publisher: Springer Published: 12 Feb 2010
Handbook of Mathematical Cognition
by Jamie I.D. Campbell
ISBN 13: 9781841694115
Format: Hardcover (528 pages) Publisher: Psychology Press Published: 27 Jan 2005
An Introduction to Practical Formal Methods Using Temporal Logic
by Michael Fisher
ISBN 13: 9780470027882
Format: Hardcover (360 pages) Publisher: Wiley-Blackwell Published: 18 Apr 2011
Coding Theory and Cryptography: The Essentials (Pure and Applied Mathematics)
by D.C. Hankerson,Gary Hoffman,D.A. Leonard,Charles C. Lindner,K.T. Phelps,C.A. Rodger,J.R. Wall
ISBN 13: 9780824704650
Format: Hardcover (350 pages) Publisher: CRC Press Published: 04 Aug 2000
Discrete Thoughts: Essays on Mathematics, Science and Philosophy (Modern Birkhäuser Classics)
by Mark Kac,Gian-Carlo Rota,Jacob T. Schwartz
ISBN 13: 9780817647742
Format: Paperback (276 pages) Publisher: Birkhauser Published: 25 Jan 2008