Buy Used and New Mathematical Logic Books

Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs: 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, ... / Programming and Software Engineering)

by

ISBN 13: 9783540897774

Format: Paperback (227 pages)
Publisher: Springer
Published: 01 Dec 2008

Save for later

Advances in Case-Based Reasoning: 9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540855019

Format: Paperback (632 pages)
Publisher: Springer
Published: 26 Aug 2008

Save for later

Formal Concept Analysis: 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010, Procedings (Lecture Notes in Computer Science)

by

ISBN 13: 9783642119279

Format: Paperback (352 pages)
Publisher: Springer
Published: 18 Feb 2010

Save for later

Logics in Artificial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540878025

Format: Paperback (429 pages)
Publisher: Springer
Published: 19 Sep 2008

Save for later

Incompleteness in the Land of Sets (Studies in Logic)

by M. Fitting

ISBN 13: 9781904987345

Format: Paperback (156 pages)
Publisher: College Publications
Published: 19 Feb 2007

Save for later

Foundations of the Formal Sciences: v. 4: The History of the Concept of the Formal Sciences (Studies in Logic (logic & Cognitive Systems))

by

ISBN 13: 9781904987291

Format: Paperback (300 pages)
Publisher: College Publications
Published: 05 Dec 2006

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

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

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