Buy Used and New Mathematical Logic Books

Lattice Basis Reduction: An Introduction to the LLL Algorithm and Its Applications (Chapman & Hall Pure and Applied Mathematics)

by Murray R. Bremner

ISBN 13: 9781439807026

Format: Hardcover (332 pages)
Publisher: CRC Press
Published: 08 Sep 2011

Save for later

Machine Learning and Data Mining in Pattern Recognition: 7th International Conference, MLDM 2011, New York, NY, USA, August 30-September 3, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642231988

Format: Paperback (614 pages)
Publisher: Springer
Published: 12 Aug 2011

Save for later

Logic, Language, and Computation: 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642223020

Format: Paperback (375 pages)
Publisher: Springer
Published: 18 Jul 2011

Save for later

Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

by

ISBN 13: 9783642223051

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

Save for later

General Lattice Theory: Second edition: Volume 1: The Foundation

by George Grätzer

ISBN 13: 9783764369965

Format: Paperback (663 pages)
Publisher: Birkhauser
Published: 21 Nov 2002

Save for later

Math Work Stations: Independent Learning You Can Count On, K-2

by Debbie Diller

ISBN 13: 9781571107930

Format: Spiral-bound (299 pages)
Publisher: Stenhouse Pub
Published: 31 Dec 2010

Save for later

Stat Labs: Mathematical Statistics Through Applications (Springer Texts in Statistics)

by Deborah Nolan,Terry P. Speed

ISBN 13: 9780387989747

Format: Illustrated (301 pages)
Publisher: Springer
Published: 22 Feb 2009

Save for later

Semantics in Data and Knowledge Bases: 4th International Workshop, SDKB 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers (Lecture Notes ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783642234408

Format: Paperback (135 pages)
Publisher: Springer
Published: 06 Sep 2011

Save for later

Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings (Lecture Notes ... / Programming and Software Engineering)

by

ISBN 13: 9783642244308

Format: Paperback (261 pages)
Publisher: Springer
Published: 19 Sep 2011

Save for later

Proofs and Algorithms: An Introduction to Logic and Computability (Undergraduate Topics in Computer Science)

by Gilles Dowek

ISBN 13: 9780857291202

Format: Paperback (203 pages)
Publisher: Springer
Published: 14 Jan 2011

Save for later

Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540899815

Format: Paperback (844 pages)
Publisher: Springer
Published: 02 Dec 2008

Save for later

Logic of Mathematics (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)

by Zofia Adamowicz,Pawel Zbierski

ISBN 13: 9780471060260

Format: Hardcover (272 pages)
Publisher: Wiley-Blackwell
Published: 07 Apr 1997

Save for later