Buy Used and New Mathematical Logic Books

Computational Logic and Human Thinking: How to be Artificially Intelligent

by Robert Kowalski

ISBN 13: 9780521123365

Format: Paperback (332 pages)
Publisher: Cambridge University Press
Published: 21 Jul 2011

Save for later

Lattice Theory: Foundation

by George Grätzer

ISBN 13: 9783034800174

Format: Paperback (642 pages)
Publisher: Springer Basel
Published: 07 Feb 2011

Save for later

Elements of Set Theory

by Herbert B. Enderton

ISBN 13: 9780122384400

Format: Hardcover (279 pages)
Publisher: Academic Press
Published: 23 May 1977

Save for later

What Is the Name of This Book?: The Riddle of Dracula and Other Logical Puzzles

by Raymond M. Smullyan

ISBN 13: 9780486481982

Format: Paperback (256 pages)
Publisher: Dover Publications Inc.
Published: 18 Aug 2011
Other Format: Paperback

Save for later

Visual Cryptography and Secret Image Sharing (Digital Imaging and Computer Vision)

by

ISBN 13: 9781439837214

Format: Hardcover (545 pages)
Publisher: CRC Press
Published: 16 Sep 2011

Save for later

Formal Concept Analysis: 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642205132

Format: Paperback (278 pages)
Publisher: Springer
Published: 26 Apr 2011

Save for later

Rough Sets, Fuzzy Sets, Data Mining and Granular Computing: 13th International Conference, RSFDGrC 2011, Moscow, Russia, June 25-27, 2011, Proceedings ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642218804

Format: Paperback (383 pages)
Publisher: Springer
Published: 14 Jun 2011

Save for later

Model Checking and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642206733

Format: Paperback (142 pages)
Publisher: Springer
Published: 04 May 2011

Save for later

Relational and Algebraic Methods in Computer Science: 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30--June 3, 2011, ... Computer Science and General Issues)

by

ISBN 13: 9783642210693

Format: Paperback (371 pages)
Publisher: Springer
Published: 20 May 2011

Save for later

Codes: The Guide to Secrecy from Ancient to Modern Times (Discrete Mathematics & Its Application)

by Richard A. Mollin

ISBN 13: 9781584884705

Format: Hardcover (704 pages)
Publisher: Chapman and Hall/CRC
Published: 24 May 2005

Save for later

Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised ... / Programming and Software Engineering)

by

ISBN 13: 9783642198281

Format: Paperback (299 pages)
Publisher: Springer
Published: 23 Mar 2011

Save for later

Logic, Language, Information, and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings (Lecture Notes ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642209192

Format: Paperback (321 pages)
Publisher: Springer
Published: 02 May 2011

Save for later