Buy Used and New Mathematical Logic Books

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

Save for later

Lectures on Concurrency and Petri Nets: Advances in Petri Nets (Lecture Notes in Computer Science)

by

ISBN 13: 9783540222613

Format: Paperback (857 pages)
Publisher: Springer
Published: 14 Jun 2004

Save for later

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

Save for later

Computation Engineering: Applied Automata Theory and Logic

by Ganesh Gopalakrishnan

ISBN 13: 9781441937414

Format: Paperback (512 pages)
Publisher: Springer
Published: 12 Feb 2010

Save for later

Handbook of Mathematical Cognition

by Jamie I.D. Campbell

ISBN 13: 9781841694115

Format: Hardcover (528 pages)
Publisher: Psychology Press
Published: 27 Jan 2005

Save for later

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

Save for later

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

Save for later

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

Save for later

Recent Advances in Constraints: 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642194856

Format: Paperback (164 pages)
Publisher: Springer
Published: 16 Mar 2011

Save for later

Language, Games, and Evolution: Trends in Current Research on Language and Game Theory (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642180057

Format: Paperback (196 pages)
Publisher: Springer
Published: 14 Mar 2011

Save for later

Theory and Practice of Algorithms in (Computer) Systems: First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011, Proceedings ... Computer Science and General Issues)

by

ISBN 13: 9783642197536

Format: Paperback (275 pages)
Publisher: Springer
Published: 14 Mar 2011

Save for later

Logical Dilemmas: The Life and Work of Kurt Godel

by John Dawson

ISBN 13: 9781568812564

Format: Paperback (376 pages)
Publisher: A K Peters/CRC Press
Published: 06 Jun 2005

Save for later