Buy Used and New Mathematical Logic Books

Logic, Language and Meaning: 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642142864

Format: Paperback (486 pages)
Publisher: Springer
Published: 06 Oct 2010

Save for later

Modeling Decisions for Artificial Intelligence: Third International Conference, MDAI 2006, Tarragona, Spain, April 3-5, 2006, Proceedings (Lecture ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540327806

Format: Paperback (386 pages)
Publisher: Springer
Published: 20 Mar 2006

Save for later

Theoretical Aspects of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783540752905

Format: Paperback (483 pages)
Publisher: Springer
Published: 12 Sep 2007

Save for later

Natural Language and Information Systems: 13th International Conference on Applications of Natural Language to Information Systems, NLDB 2008 London, ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783540698579

Format: Paperback (386 pages)
Publisher: Springer
Published: 16 Jun 2008

Save for later

Theory and Applications of Relational Structures as Knowledge Instruments II: International Workshops of COST Action 274, TARSKI, 2002-2005, Selected ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540692232

Format: Paperback (383 pages)
Publisher: Springer
Published: 15 Dec 2006

Save for later

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