Buy Used and New Mathematical Logic Books

Sets for Mathematics

by F. William Lawvere

ISBN 13: 9780521010603

Format: Paperback (276 pages)
Publisher: Cambridge University Press
Published: 10 Apr 2003

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

Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540894384

Format: Paperback (728 pages)
Publisher: Springer
Published: 13 Nov 2008

Save for later

The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today (Logic, Epistemology, and the Unity of Science)

by

ISBN 13: 9789048124855

Format: Paperback (360 pages)
Publisher: Springer
Published: 12 Mar 2009

Save for later

From Dedekind to Gödel: Essays on the Development of the Foundations of Mathematics (Synthese Library)

by

ISBN 13: 9789048145546

Format: Paperback (488 pages)
Publisher: Springer
Published: 16 Nov 2010

Save for later

Inductive Logic Programming: 13th International Conference, ILP 2003 Szeged, Hungary, September 29-October 1, 2003 Proceedings: 2835 (Lecture Notes in Computer Science)

by Tamás Horváth,Akihiro Yamamoto

ISBN 13: 9783540201441

Format: Paperback (416 pages)
Publisher: Springer
Published: 24 Sep 2003

Save for later

Machine Learning: ECML 2002: 13th European Conference on Machine Learning, Helsinki, Finland, August 19-23, 2002. Proceedings: 2430 (Lecture Notes in Computer Science)

by Tapio Elomaa,Hannu Toivonen,Heikki Mannila

ISBN 13: 9783540440369

Format: Paperback (552 pages)
Publisher: Springer
Published: 05 Aug 2002

Save for later

Inductive Logic Programming: 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001. Proceedings: 2157 (Lecture Notes in Computer Science)

by Michele Sebag,Celine Rouveirol

ISBN 13: 9783540425380

Format: Paperback (272 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Dynamic Epistemic Logic (Synthese Library)

by Hans van Ditmarsch,Wiebe van der Hoek,Barteld Kooi

ISBN 13: 9781402069086

Format: Paperback (307 pages)
Publisher: Springer
Published: 15 Nov 2007

Save for later

Grundlagen Der Computerlinguistik: Mensch-Maschine-Kommunikation in Nat Rlicher Sprache: Mensch-Maschine-Kommunikation in natürlicher Sprache. Mit 772 Übungen

by Roland Hausser

ISBN 13: 9783540671879

Format: Paperback (584 pages)
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published: 14 Jul 2000

Save for later

Proofs and Fundamentals: A First Course in Abstract Mathematics (Undergraduate Texts in Mathematics)

by Ethan D. Bloch

ISBN 13: 9781441971265

Format: Hardcover (383 pages)
Publisher: Springer
Published: 21 Feb 2011

Save for later