Buy Used and New Mathematical Logic Books

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540689775

Format: Paperback (658 pages)
Publisher: Springer
Published: 03 Jan 2007

Save for later

Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783540744634

Format: Paperback (269 pages)
Publisher: Springer
Published: 01 Oct 2007

Save for later

Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October ... / Programming and Software Engineering)

by

ISBN 13: 9783540881933

Format: Paperback (397 pages)
Publisher: Springer
Published: 08 Oct 2008

Save for later

Machine Learning: ECML 2007: 18th European Conference on Machine Learning, Warsaw, Poland, September 17-21, 2007, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540749578

Format: Paperback (809 pages)
Publisher: Springer
Published: 05 Sep 2007

Save for later

Formal Concept Analysis: 4th International Conference, ICFCA 2006, Dresden, Germany, Feburary 13-17, 2006, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540322030

Format: Paperback (319 pages)
Publisher: Springer
Published: 01 Feb 2006

Save for later

Transactions on Rough Sets V: v. 5 (Lecture Notes in Computer Science / Transactions on Rough Sets)

by

ISBN 13: 9783540393825

Format: Paperback (507 pages)
Publisher: Springer
Published: 12 Oct 2006

Save for later

Algebraic Informatics: Second International Conference, CAI 2007, Thessalonkik, Greece, May 21-25, 2007, Revised Selected and Invited Papers (Lecture ... Computer Science and General Issues)

by

ISBN 13: 9783540754138

Format: Paperback (291 pages)
Publisher: Springer
Published: 14 Dec 2007

Save for later

Rough Sets and Knowledge Technology: First International Conference, RSKT 2006, Chongquing, China, July 24-26, 2006, Proceedings (Lecture Notes in Computer Science)

by

ISBN 13: 9783540362975

Format: Paperback (810 pages)
Publisher: Springer
Published: 06 Jul 2006

Save for later

Fuzzy Information and Engineering: Proceedings of the Second International Conference of Fuzzy Information and Engineering (ICFIE) (Advances in Intelligent and Soft Computing)

by

ISBN 13: 9783540714408

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

Save for later

Inductive Logic Programming: 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540738466

Format: Paperback (456 pages)
Publisher: Springer
Published: 27 Jul 2007

Save for later

Cantor Und die Franzosen: Mathematik, Philosophie Und das Unendliche (Mathematik Im Kontext)

by Anne-Marie Decaillot

ISBN 13: 9783642148682

Format: Paperback (250 pages)
Publisher: Springer
Published: Nov 2010

Save for later

Completeness Theory for Propositional Logics (Studies in Universal Logic)

by Witold A. Pogorzelski,Piotr Wojtylak

ISBN 13: 9783764385170

Format: Paperback (178 pages)
Publisher: Birkhauser
Published: 17 Apr 2008

Save for later