Buy Used and New Mathematical Logic Books

Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings ... Computer Science and General Issues)

by

ISBN 13: 9783540727873

Format: Paperback (384 pages)
Publisher: Springer
Published: 18 May 2007

Save for later

Rough Sets and Current Trends in Computing: Third International Conference, RSCTC 2002, Malvern, PA, USA, October 14-16, 2002. Proceedings (Lecture ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540442745

Format: Paperback (655 pages)
Publisher: Springer
Published: 25 Sep 2002

Save for later

Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings: 4th International Joint ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540710691

Format: Paperback (556 pages)
Publisher: Springer
Published: 25 Jul 2008

Save for later

Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings (Lecture Notes ... / Programming and Software Engineering)

by

ISBN 13: 9783540799795

Format: Paperback (432 pages)
Publisher: Springer
Published: 15 Jul 2008

Save for later

Natural Language Processing and Information Systems: 14th International Conference on Applications of Natural Language to Information Systems , NLDB ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783642125492

Format: Paperback (336 pages)
Publisher: Springer
Published: 20 Apr 2010

Save for later

Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings (Lecture Notes ... Computer Science and General Issues)

by

ISBN 13: 9783540710653

Format: Paperback (321 pages)
Publisher: Springer
Published: 30 Jul 2008

Save for later

Logic and Its Applications: Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009, Proceedings: 5378 (Lecture Notes in Computer Science)

by R. Ramanujam

ISBN 13: 9783540927006

Format: Paperback (280 pages)
Publisher: Springer
Published: 18 Dec 2008

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

A Calculus of Communication Systems: 92 (Lecture Notes in Computer Science)

by R. Milner

ISBN 13: 9783540102359

Format: Paperback (188 pages)
Publisher: Springer
Published: 01 Sep 1980

Save for later