Buy Used and New Mathematical Logic Books

Aspects of Natural Language Processing: Essays Dedicated to Leonard Bolc on the Occasion of His 75th Birthday (Lecture Notes in Computer Science / . . ... incl. Internet/Web, and HCI): 5070

by Malgorzata Marciniak

ISBN 13: 9783642047343

Format: Paperback (464 pages)
Publisher: Springer
Published: 29 Sep 2009

Save for later

The Haskell Road to Logic, Maths and Programming (Texts in Computing, Vol. 4) (Texts in Computing S.)

by Kees Doets,Jan van Eijck

ISBN 13: 9780954300692

Format: Paperback (450 pages)
Publisher: College Publications
Published: 07 Dec 2012

Save for later

Algorithms in Invariant Theory (Texts & Monographs in Symbolic Computation)

by Bernd Sturmfels,Peter Paule

ISBN 13: 9783211774168

Format: Illustrated (204 pages)
Publisher: Springer
Published: 28 Apr 2008

Save for later

The Pillars of Computation Theory: State, Encoding, Nondeterminism: 0 (Universitext)

by Arnold L. L. Rosenberg

ISBN 13: 9780387096384

Format: Paperback (344 pages)
Publisher: Springer
Published: 12 Nov 2009

Save for later

Realizability: An Introduction to its Categorical Side: Volume 152 (Studies in Logic and the Foundations of Mathematics)

by Jaap van Oosten

ISBN 13: 9780444515841

Format: Hardcover (328 pages)
Publisher: Elsevier Science
Published: 06 Mar 2008

Save for later

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, S.B.M.F. 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers (Lecture Notes in Computer Science)

by Marcel Vinícius Medeiros Oliveira, Jim Woodcock

ISBN 13: 9783642104510

Format: Paperback (351 pages)
Publisher: Springer
Published: 09 Nov 2009

Save for later

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)

by Jean-Raymond Abrial, Uwe Glässer

ISBN 13: 9783642114465

Format: Paperback (256 pages)
Publisher: Springer
Published: 20 Jan 2010

Save for later

Argumentation Schemes

by Douglas Walton

ISBN 13: 9780521723749

Format: Illustrated (456 pages)
Publisher: Cambridge University Press
Published: 04 Aug 2008

Save for later

Computational Logic in Multi-Agent Systems: 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and ... 5056 (Lecture Notes in Computer Science)

by Fariba Sadri

ISBN 13: 9783540888321

Format: Paperback (312 pages)
Publisher: Springer
Published: 23 Oct 2008

Save for later

The Notre Dame Lectures: Lecture Notes in Logic, 18

by Peter Cholak

ISBN 13: 9781568812496

Format: Illustrated (200 pages)
Publisher: A K Peters/CRC Press
Published: 23 Jun 2005

Save for later

Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings: 2701 (Lecture Notes in Computer Science)

by Martin Hofmann

ISBN 13: 9783540403326

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

Save for later

Algorithmic Cryptanalysis (Chapman & Hall/CRC Cryptography and Network Security Series)

by Antoine Joux

ISBN 13: 9781420070026

Format: Hardcover (519 pages)
Publisher: Chapman and Hall/CRC
Published: 22 Jun 2009

Save for later