Buy Used and New Mathematical Logic Books

Forcing with Random Variables and Proof Complexity (London Mathematical Society Lecture Note Series)

by Jan Krajíek

ISBN 13: 9780521154338

Format: Paperback (264 pages)
Publisher: Cambridge University Press
Published: 23 Dec 2010

Save for later

Computability Theory: An Introduction to Recursion Theory

by Herbert B. Enderton

ISBN 13: 9780123849588

Format: Hardcover (192 pages)
Publisher: Academic Press
Published: 30 Dec 2010

Save for later

Giuseppe Peano between Mathematics and Logic: Proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his ... Mathematico Torino (Italy) October 2-3, 2008

by

ISBN 13: 9788847018358

Format: Paperback (190 pages)
Publisher: Springer
Published: 23 Dec 2010

Save for later

Programming Languages and Systems: 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540893295

Format: Paperback (343 pages)
Publisher: Springer
Published: 14 Nov 2008

Save for later

Contributions to the Science of Text and Language: Word Length Studies and Related Issues (Text, Speech and Language Technology)

by

ISBN 13: 9781402040696

Format: Paperback (352 pages)
Publisher: Springer
Published: 18 Oct 2007

Save for later

Banach Spaces and Descriptive Set Theory: Selected Topics (Lecture Notes in Mathematics)

by Pandelis Dodos

ISBN 13: 9783642121524

Format: Paperback (170 pages)
Publisher: Springer
Published: 11 May 2010

Save for later

Advances in Natural Language Processing: 6th International Conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008, Proceedings (Lecture Notes ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540852865

Format: Paperback (512 pages)
Publisher: Springer
Published: 13 Aug 2008

Save for later

Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs: 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, ... / Programming and Software Engineering)

by

ISBN 13: 9783540897774

Format: Paperback (227 pages)
Publisher: Springer
Published: 01 Dec 2008

Save for later

Advances in Case-Based Reasoning: 9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540855019

Format: Paperback (632 pages)
Publisher: Springer
Published: 26 Aug 2008

Save for later

Formal Concept Analysis: 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010, Procedings (Lecture Notes in Computer Science)

by

ISBN 13: 9783642119279

Format: Paperback (352 pages)
Publisher: Springer
Published: 18 Feb 2010

Save for later

Logics in Artificial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540878025

Format: Paperback (429 pages)
Publisher: Springer
Published: 19 Sep 2008

Save for later

Incompleteness in the Land of Sets (Studies in Logic)

by M. Fitting

ISBN 13: 9781904987345

Format: Paperback (156 pages)
Publisher: College Publications
Published: 19 Feb 2007

Save for later