Buy Used and New Mathematical Logic Books

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

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

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

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

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

Conceptual Mathematics: A First Introduction to Categories

by F. William Lawvere

ISBN 13: 9780521719162

Format: Paperback (408 pages)
Publisher: Cambridge University Press
Published: 26 Oct 2011

Save for later

Logical Labyrinths

by Raymond Smullyan

ISBN 13: 9781568814438

Format: Hardcover (275 pages)
Publisher: A K Peters/CRC Press
Published: 30 Nov 2008

Save for later

Logic and the Foundations of Game and Decision Theory (LOFT 7) (Texts in Logic and Games)

by Giacomo Bonanno,Wiebe van der Hoek,Michael Wooldridge

ISBN 13: 9789089640260

Format: Paperback (240 pages)
Publisher: Amsterdam University Press
Published: 01 Jul 2008

Save for later

Mathematics of Program Construction: 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings: 5133 (Lecture Notes in Computer Science)

by Philippe Audebaud

ISBN 13: 9783540705932

Format: Paperback (436 pages)
Publisher: Springer
Published: 15 Aug 2008

Save for later

Logical Foundations of Computer Science: International Symposium, LFCS 2007 New York, NY, USA, June 4-7, 2007 Proceedings: 4514 (Lecture Notes in Computer Science)

by Sergei N. Artemov, Anil Nerode

ISBN 13: 9783540727323

Format: Illustrated (528 pages)
Publisher: Springer
Published: 22 Feb 2009

Save for later

Godel, Escher, Bach: An Eternal Golden Braid

by Douglas Hofstadter

ISBN 13: 9780465026562

Format: Illustrated (777 pages)
Publisher: Basic Books
Published: 15 Jan 1999

Save for later

Combinatorial Algorithms: 20th International Workshop, IWOCA 2009, Hradec nad Moravicí, Czech Republic, June 28-July 2, 2009, Revised Selected Papers: 5874 (Lecture Notes in Computer Science)

by Jiri Fiala,Jan Kratochvil,Mirka Miller

ISBN 13: 9783642102165

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

Save for later