Buy Used and New Mathematical Logic Books

Stable Domination and Independence in Algebraically Closed Valued Fields (Lecture Notes in Logic)

by Deirdre Haskell,Ehud Hrushovski,Dugald Macpherson

ISBN 13: 9780521889810

Format: Hardcover (194 pages)
Publisher: Cambridge University Press
Published: 10 Dec 2007

Save for later

Mathematical Proofs: A Transition to Advanced Mathematics

by Gary Chartrand,Albert D. Polimeni,Ping Zhang

ISBN 13: 9780321526731

Format: Paperback (384 pages)
Publisher: Pearson Education
Published: 01 Nov 2007

Save for later

Proofs without Words II: v. 2 (Classroom Resource Materials)

by Roger B. Nelsen

ISBN 13: 9780883857212

Format: Paperback (142 pages)
Publisher: The Mathematical Association of America
Published: 07 Dec 2000

Save for later

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

by Daniel Kroening,Ofer Strichman

ISBN 13: 9783540741046

Format: Hardcover (304 pages)
Publisher: Springer
Published: 23 May 2008

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
Other Format: Hardcover

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

Symbolic-Numeric Computation (Trends in Mathematics)

by

ISBN 13: 9783764379834

Format: Hardcover (394 pages)
Publisher: Birkhauser
Published: 22 Jan 2007

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

Data Mining and Knowledge Discovery via Logic-Based Methods: Theory, Algorithms, and Applications (Springer Optimization and Its Applications)

by Evangelos Triantaphyllou

ISBN 13: 9781441916297

Format: Hardcover (350 pages)
Publisher: Springer
Published: 17 Jun 2010

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