Buy Used and New Mathematical Logic Books

Gödel's Incompleteness Theorems (Oxford Logic Guides)

by Raymond M. Smullyan

ISBN 13: 9780195046724

Format: Hardcover (160 pages)
Publisher: OUP USA
Published: 22 Oct 1992

Save for later

Kurt Gödel: Collected Works: Volume III: Unpublished Essays and Lectures: Unpublished Essays and Lectures Vol 3 (Collected Works (Oxford))

by Kurt Gödel

ISBN 13: 9780195147223

Format: Paperback (560 pages)
Publisher: OUP USA
Published: 28 Jun 2001

Save for later

Alfred Tarski: Life and Logic (Cambridge Concise Histories)

by Anita Burdman Feferman,Solomon Feferman

ISBN 13: 9780521714013

Format: Paperback (432 pages)
Publisher: Cambridge University Press
Published: 07 Apr 2008

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