Buy Used and New Mathematical Logic Books

Logic and Grammar: Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642214899

Format: Paperback (172 pages)
Publisher: Springer
Published: 14 Jun 2011

Save for later

Implementation and Application of Automata: 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011, Revised Selected Papers ... Computer Science and General Issues)

by

ISBN 13: 9783642222559

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

Save for later

Computer Science - Theory and Applications: 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, ... Computer Science and General Issues)

by

ISBN 13: 9783642207112

Format: Paperback (482 pages)
Publisher: Springer
Published: 03 Jun 2011

Save for later

Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011, Held as Part of the Joint European ... Computer Science and General Issues)

by

ISBN 13: 9783642198045

Format: Paperback (488 pages)
Publisher: Springer
Published: 18 Mar 2011

Save for later

Functional and Constraint Logic Programming: 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers (Lecture ... Computer Science and General Issues)

by

ISBN 13: 9783642207747

Format: Paperback (184 pages)
Publisher: Springer
Published: 10 May 2011

Save for later

Logic Programming and Nonmonotonic Reasoning: 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011, Proceedings (Lecture ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642208942

Format: Paperback (419 pages)
Publisher: Springer
Published: 02 May 2011

Save for later

The Mathematics of Language: 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642232107

Format: Paperback (231 pages)
Publisher: Springer
Published: 19 Aug 2011

Save for later

Unconventional Computation: 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

by

ISBN 13: 9783642213403

Format: Paperback (257 pages)
Publisher: Springer
Published: 27 May 2011

Save for later

Logic and Games on Automatic Structures: Playing with Quantifiers and Decompositions (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by Lukasz Kaiser

ISBN 13: 9783642228063

Format: Paperback (130 pages)
Publisher: Springer
Published: 22 Jul 2011

Save for later

Ludics, Dialogue and Interaction: PRELUDE Project - 2006-2009. Revised Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642192104

Format: Paperback (234 pages)
Publisher: Springer
Published: 23 Feb 2011

Save for later

Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642208317

Format: Paperback (526 pages)
Publisher: Springer
Published: 13 May 2011

Save for later

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