Buy Used and New Mathematical Logic Books

Comprehensive Mathematics for Computer Scientists 2: Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural ... and Lambda Calculus: v. 2 (Universitext)

by Guerino Mazzola,Gérard Milmeister,Jody Weissmann

ISBN 13: 9783540208617

Format: Paperback (355 pages)
Publisher: Springer
Published: 21 Oct 2004

Save for later

Rough Sets and Knowledge Technology: Third International Conference, RSKT 2008, Chengdu, China, May 17-19, 2008, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540797203

Format: Paperback (765 pages)
Publisher: Springer
Published: 25 Apr 2008

Save for later

Modalities and Multimodalities (Logic, Epistemology, and the Unity of Science)

by Walter Carnielli,Claudio Pizzi

ISBN 13: 9789048137626

Format: Paperback (320 pages)
Publisher: Springer
Published: 05 Nov 2009

Save for later

Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783642162640

Format: Paperback (347 pages)
Publisher: Springer
Published: 06 Oct 2010

Save for later

Developments in Language Theory: 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

by

ISBN 13: 9783540857792

Format: Paperback (544 pages)
Publisher: Springer
Published: 04 Sep 2008

Save for later

Computer Science Logic: 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, ... Computer Science and General Issues)

by

ISBN 13: 9783540749141

Format: Paperback (600 pages)
Publisher: Springer
Published: 30 Aug 2007

Save for later

AI*IA 2005: Advances in Artificial Intelligence: 9th Congress of the Italian Association for Artificial Intelligence Milan, Italy, September 21-23, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540290414

Format: Paperback (628 pages)
Publisher: Springer
Published: 12 Sep 2005

Save for later

Axiom of Choice (Lecture Notes in Mathematics)

by Horst Herrlich

ISBN 13: 9783540309895

Format: Paperback (208 pages)
Publisher: Springer
Published: 11 May 2006

Save for later

B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings (Lecture ... / Programming and Software Engineering)

by

ISBN 13: 9783540687603

Format: Paperback (306 pages)
Publisher: Springer
Published: 14 Dec 2006

Save for later

Learning Classifier Systems: International Workshops, IWLCS 2003-2005, Revised Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540712305

Format: Paperback (345 pages)
Publisher: Springer
Published: 19 Mar 2007

Save for later

Frontiers of Combining Systems: 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007. Proceedings (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540746201

Format: Paperback (283 pages)
Publisher: Springer
Published: 23 Aug 2007

Save for later

Transactions on Computational Systems Biology VIII: v. 8 (Lecture Notes in Computer Science / Transactions on Computational Systems Biology)

by

ISBN 13: 9783540766384

Format: Paperback (110 pages)
Publisher: Springer
Published: 06 Nov 2007

Save for later