Buy Used and New Mathematical Logic Books

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings (Lecture Notes ... Computer Science and General Issues)

by

ISBN 13: 9783642228629

Format: Paperback (394 pages)
Publisher: Springer
Published: 02 Aug 2011

Save for later

Fundamentals of Computation Theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-28, 2011, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

by

ISBN 13: 9783642229527

Format: Paperback (386 pages)
Publisher: Springer
Published: 09 Aug 2011

Save for later

Artificial General Intelligence: 4th International Conference, AGI 2011, Mountain View, CA, USA, August 3-6, 2011, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642228865

Format: Paperback (429 pages)
Publisher: Springer
Published: 19 Jul 2011

Save for later

Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

by

ISBN 13: 9783642221095

Format: Paperback (778 pages)
Publisher: Springer
Published: 05 Jul 2011

Save for later

Descriptional Complexity of Formal Systems: 13 International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings (Lecture ... Computer Science and General Issues)

by

ISBN 13: 9783642225994

Format: Paperback (339 pages)
Publisher: Springer
Published: 18 Jul 2011

Save for later

Computational Logic in Multi-Agent Systems: 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642223587

Format: Paperback (398 pages)
Publisher: Springer
Published: 06 Jul 2011

Save for later

Knowledge Processing and Data Analysis: First International Conference, KONT 2007, Novosibirsk, Russia, September 14-16, 2007,and First International ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642221392

Format: Paperback (335 pages)
Publisher: Springer
Published: 28 Jul 2011

Save for later

Software Composition: 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783642220449

Format: Paperback (189 pages)
Publisher: Springer
Published: 22 Jun 2011

Save for later

Machine Learning and Knowledge Discovery in Databases, Part II: European Conference, ECML PKDD 2010, Athens, Greece, September 5-9, 2011, Proceedings, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642237829

Format: Paperback (703 pages)
Publisher: Springer
Published: 06 Sep 2011
Other Format: Paperback

Save for later

Sweet Reason: A Field Guide to Modern Logic

by James M. Henle, Jay L. Garfield, Thomas Tymoczko

ISBN 13: 9781444337150

Format: Paperback (424 pages)
Publisher: John Wiley & Sons
Published: 26 Aug 2011

Save for later

Functional and Constraint Logic Programming: 20th International Workshop, WFLP 2011, Odense, Denmark, July 19, 2011, Proceedings (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783642225307

Format: Paperback (158 pages)
Publisher: Springer
Published: 12 Jul 2011

Save for later

Lattice Basis Reduction: An Introduction to the LLL Algorithm and Its Applications (Chapman & Hall Pure and Applied Mathematics)

by Murray R. Bremner

ISBN 13: 9781439807026

Format: Hardcover (332 pages)
Publisher: CRC Press
Published: 08 Sep 2011

Save for later