Buy Used and New Mathematical Logic Books

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

Elements of Logic via Numbers and Sets (Springer Undergraduate Mathematics Series)

by D.L. Johnson

ISBN 13: 9783540761235

Format: Paperback (198 pages)
Publisher: Springer
Published: 27 Feb 1998

Save for later

Essential Logic: Basic Reasoning Skills for the Twenty-First Century

by Ronald C. Pine

ISBN 13: 9780195155051

Format: Paperback (432 pages)
Publisher: Oxford University Press, USA
Published: 05 Oct 1995

Save for later

From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl: 2635 (Lecture Notes in Computer Science)

by Olaf Owe, Stein Krogdahl, Tom Lyche

ISBN 13: 9783540213666

Format: Illustrated (404 pages)
Publisher: Springer Berlin Heidelberg
Published: 10 Oct 2008

Save for later

Foundations of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European ... Pr: 1784 (Lecture Notes in Computer Science)

by Jerzy Tiuryn

ISBN 13: 9783540672579

Format: Paperback (408 pages)
Publisher: Springer
Published: 13 Apr 2000

Save for later

A Calculus of Communication Systems: 92 (Lecture Notes in Computer Science)

by R. Milner

ISBN 13: 9783540102359

Format: Paperback (188 pages)
Publisher: Springer
Published: 01 Sep 1980

Save for later