Buy Used and New Mathematical Logic Books

Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642226724

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

Save for later

Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2010. Proceedings, Part II (Lecture ... Computer Science and General Issues)

by

ISBN 13: 9783642220111

Format: Paperback (692 pages)
Publisher: Springer
Published: 27 Jun 2011

Save for later

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

by

ISBN 13: 9783642237799

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

Save for later

Algebraic Informatics: 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

by

ISBN 13: 9783642214929

Format: Paperback (271 pages)
Publisher: Springer
Published: 16 Jun 2011

Save for later

Static Analysis: 18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783642237010

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

Save for later

Studies in Complexity and Cryptography: Miscellanea on the Interplay between Randomness and Computation (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

by Oded Goldreich

ISBN 13: 9783642226694

Format: Paperback (574 pages)
Publisher: Springer
Published: 03 Aug 2011

Save for later

Conceptual Structures for Discovering Knowledge: 19th International Conference on Conceptual Structures, ICCS 2011, Derby, UK, July 25-29, 2011, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642226878

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

Save for later

Models of Computation in Context: 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings (Lecture ... Computer Science and General Issues)

by

ISBN 13: 9783642218743

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

Save for later

Development in Language Theory: 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

by

ISBN 13: 9783642223204

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

Save for later

The Strength of Nonstandard Analysis

by

ISBN 13: 9783211998922

Format: Paperback (421 pages)
Publisher: Springer
Published: 13 Oct 2010

Save for later

Mathematical Foundations of Computer Science 2011: 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011, Proceedings (Lecture ... Computer Science and General Issues)

by

ISBN 13: 9783642229923

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

Save for later

Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wrocaw, Poland, July 31 -- August 5, 2011, Proceedings: 23rd ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642224379

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

Save for later