Buy Used and New Mathematical Logic Books

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

A Course in Formal Languages, Automata and Groups (Universitext)

by Ian M. Chiswell

ISBN 13: 9781848009394

Format: Paperback (157 pages)
Publisher: Springer
Published: 06 Feb 2009

Save for later

Logic

by Wilfrid Hodges

ISBN 13: 9780141003146

Format: Paperback (304 pages)
Publisher: Penguin
Published: 29 Nov 2001

Save for later

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

An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems

by Merrie Bergmann

ISBN 13: 9780521707572

Format: Illustrated (342 pages)
Publisher: Cambridge University Press
Published: 24 Apr 2008

Save for later

A Beginner's Guide to Graph Theory

by W.D. Wallis

ISBN 13: 9780817644840

Format: Paperback (280 pages)
Publisher: Birkhauser
Published: 04 Jul 2007

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