Buy Used and New Mathematical Logic Books

Algebraic and Proof-theoretic Aspects of Non-classical Logics: Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday: Papers in ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540759386

Format: Paperback (309 pages)
Publisher: Springer
Published: 26 Oct 2007

Save for later

Recent Advances in Constraints: 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006 Caparica, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540738169

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

Save for later

Applications of Fuzzy Sets Theory: 7th International Workshop on Fuzzy Logic and Applications, WILF 2007, Camogli, Italy, July 7-10, 2007, Proceedings ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540733997

Format: Paperback (693 pages)
Publisher: Springer
Published: 29 Jun 2007

Save for later

Automated Deduction in Geometry: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers (Lecture Notes ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540773559

Format: Paperback (213 pages)
Publisher: Springer
Published: 12 Dec 2007

Save for later

Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised ... Computer Science and General Issues)

by

ISBN 13: 9783540787686

Format: Paperback (219 pages)
Publisher: Springer
Published: 18 Mar 2008

Save for later

Classic Papers in Combinatorics (Modern Birkhäuser Classics)

by

ISBN 13: 9780817648411

Format: Paperback (499 pages)
Publisher: Birkhauser
Published: 23 Dec 2008

Save for later

Approaches and Applications of Inductive Programming: Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009, Revised Papers (Lecture Notes in Computer Science)

by

ISBN 13: 9783642119309

Format: Paperback (204 pages)
Publisher: Springer
Published: 14 Apr 2010

Save for later

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