Buy Used and New Mathematical Logic Books

Graph Theory, Computational Intelligence and Thought: Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday: 5420 (Lecture Notes in Computer Science)

by Marina Lipshteyn,Vadim E. Levit,Ross McConnell

ISBN 13: 9783642020285

Format: Paperback (244 pages)
Publisher: Springer
Published: 20 Jul 2009

Save for later

Algorithmic Decision Theory: First International Conference, A.D.T. 2009, Venice, Italy, October 2009, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence): 5783

by Francesca Rossi

ISBN 13: 9783642044274

Format: Paperback (476 pages)
Publisher: Springer
Published: 05 Oct 2009

Save for later

Constraint Handling Rules: Current Research Topics (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence): 5388

by Tom Schrijvers, Thom Frühwirth

ISBN 13: 9783540922421

Format: Paperback (245 pages)
Publisher: Springer
Published: 18 Dec 2008

Save for later

Logicism, Intuitionism, and Formalism: What Has Become of Them?: 341 (Synthese Library)

by Sten Lindström,Erik Palmgren,Krister Segerberg

ISBN 13: 9781402089251

Format: Illustrated (528 pages)
Publisher: Springer
Published: 02 Dec 2008

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

Godel, Escher, Bach: An Eternal Golden Braid

by Douglas Hofstadter

ISBN 13: 9780465026562

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

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

Mathematical Logic

by Joseph R. Shoenfield

ISBN 13: 9781568811352

Format: Paperback (352 pages)
Publisher: Routledge
Published: 01 Jan 2001

Save for later

Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods I.C.F.E.M. 2009, Rio de Janeiro, Brazil, December ... (Lecture Notes in Computer Science)

by Karin Breitman

ISBN 13: 9783642103728

Format: Paperback (776 pages)
Publisher: Springer
Published: 17 Nov 2009

Save for later

The Mathematician's Mind: The Psychology of Invention in the Mathematical Field (Princeton Science Library)

by Jacques Hadamard

ISBN 13: 9780691029313

Format: Paperback (168 pages)
Publisher: Princeton University Press
Published: 30 Sep 1996

Save for later

There's Something About Godel!: The Complete Guide to the Incompleteness Theorem

by BERTO

ISBN 13: 9781405197663

Format: Illustrated (256 pages)
Publisher: John Wiley & Sons
Published: 06 Nov 2009
Other Format: Paperback

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