Buy Used and New Mathematical Logic Books

Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783540488156

Format: Paperback (386 pages)
Publisher: Springer
Published: 30 Oct 2006

Save for later

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

Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

by

ISBN 13: 9783540734475

Format: Paperback (419 pages)
Publisher: Springer
Published: 21 Jun 2007

Save for later

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

Logic Programming and Nonmonotonic Reasoning: 9th International Conference, LPNMR 2007 Tempe, AZ, USA, May 15-17, 2007 Proceedings: 4483 (Lecture Notes in Computer Science)

by Chitta Baral,Gerhard Brewka,John Schlipf

ISBN 13: 9783540721994

Format: Paperback (344 pages)
Publisher: Springer
Published: 27 Apr 2007

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