Buy Used and New Mathematical Logic Books

Abstraction, Reformulation, and Approximation: 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings (Lecture Notes ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540735793

Format: Paperback (418 pages)
Publisher: Springer
Published: 04 Jul 2007

Save for later

Machine Learning: ECML 2006: 17th European Conference on Machine Learning, Berlin, Germany, September 18-22, 2006, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540453758

Format: Paperback (851 pages)
Publisher: Springer
Published: 19 Sep 2006

Save for later

FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540682356

Format: Paperback (436 pages)
Publisher: Springer
Published: 08 May 2008

Save for later

Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

by

ISBN 13: 9783642041631

Format: Paperback (409 pages)
Publisher: Springer
Published: 28 Aug 2009

Save for later

Logic Programming in Action: Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992. Proceedings ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540559306

Format: Paperback (324 pages)
Publisher: Springer
Published: 25 Aug 1992

Save for later

Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540377566

Format: Paperback (456 pages)
Publisher: Springer
Published: 17 Aug 2006

Save for later

Algorithmic Learning Theory: 12th International Conference, ALT 2001, Washington, DC, USA, November 25-28, 2001. Proceedings.: 12 International ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540428756

Format: Paperback (379 pages)
Publisher: Springer
Published: 07 Nov 2001

Save for later

Conceptual Modeling - ER 2007: 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007, Proceedings (Lecture ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783540755623

Format: Paperback (616 pages)
Publisher: Springer
Published: 15 Oct 2007

Save for later

Elements of Logic via Numbers and Sets (Springer Undergraduate Mathematics Series)

by D.L. Johnson

ISBN 13: 9783540761235

Format: Paperback (198 pages)
Publisher: Springer
Published: 27 Feb 1998

Save for later

Essential Logic: Basic Reasoning Skills for the Twenty-First Century

by Ronald C. Pine

ISBN 13: 9780195155051

Format: Paperback (432 pages)
Publisher: Oxford University Press, USA
Published: 05 Oct 1995

Save for later

From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl: 2635 (Lecture Notes in Computer Science)

by Olaf Owe, Stein Krogdahl, Tom Lyche

ISBN 13: 9783540213666

Format: Illustrated (404 pages)
Publisher: Springer Berlin Heidelberg
Published: 10 Oct 2008

Save for later

Foundations of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European ... Pr: 1784 (Lecture Notes in Computer Science)

by Jerzy Tiuryn

ISBN 13: 9783540672579

Format: Paperback (408 pages)
Publisher: Springer
Published: 13 Apr 2000

Save for later