AMS Bookstore LOGO amslogo

Logic and Foundations

AMS TextbooksAMS Applications-related Books

Computability Theory - Rebecca Weber, Dartmouth College - AMS, 2012, 203 pp., Softcover, ISBN-10: 0-8218-7392-X, ISBN-13: 978-0-8218-7392-2, List: US$37, Institutional Member: US$29.60, All Individuals: US$29.60, STML/62 [app-math-logo]
Boolean Functions in Coding Theory and Cryptography - O. A. Loginov, A. A. Salnikov, and V. V. Yashchenko, Moscow State University - AMS, 2012, 334 pp., Hardcover, ISBN-10: 0-8218-4680-9, ISBN-13: 978-0-8218-4680-3, List: US$129, All AMS Members: US$103.20, MMONO/241 [app-math-logo]
Computational Complexity Theory - Steven Rudich, Carnegie Mellon University, and Avi Wigderson, Institute for Advanced Study, Editors - AMS | PCMI, 2004, 389 pp., Hardcover, ISBN-10: 0-8218-2872-X, ISBN-13: 978-0-8218-2872-4, List: US$76, All AMS Members: US$60.80, PCMS/10 [app-math-logo]
Satisfiability Problem: Theory and Applications - Dingzhu Du, University of Minnesota, Minneapolis, Jun Gu, University of Calgary, AB, Canada, and Panos M. Pardalos, University of Florida, Gainesville, Editors - AMS | DIMACS, 1997, 724 pp., Hardcover, ISBN-10: 0-8218-0479-0, ISBN-13: 978-0-8218-0479-7, List: US$181, All AMS Members: US$144.80, DIMACS/35 [app-math-logo]
The SPIN Verification System - Jean-Charles Grégoire, INRS-Telecommunications, and Gerard J. Holzmann and Doron A. Peled, Lucent Technologies, Editors - AMS | DIMACS, 1997, 203 pp., Hardcover, ISBN-10: 0-8218-0680-7, ISBN-13: 978-0-8218-0680-7, List: US$60, All AMS Members: US$48, DIMACS/32 [app-math-logo]
Descriptive Complexity and Finite Models - Neil Immerman, University of Massachusetts, Amherst, and Phokion G. Kolaitis, University of California, Santa Cruz, Editors - AMS | DIMACS, 1997, 248 pp., Hardcover, ISBN-10: 0-8218-0517-7, ISBN-13: 978-0-8218-0517-6, List: US$67, All AMS Members: US$53.60, DIMACS/31 [app-math-logo]
Partial Order Methods in Verification - Doron A. Peled, Lucent Technologies, Vaughan R. Pratt, Stanford University, and Gerard J. Holzmann, Lucent Technologies, Editors - AMS | DIMACS, 1997, 403 pp., Hardcover, ISBN-10: 0-8218-0579-7, ISBN-13: 978-0-8218-0579-4, List: US$103, All AMS Members: US$82.40, DIMACS/29 [app-math-logo]

  AMS Home | Comments:
© Copyright 2014, American Mathematical Society
Privacy Statement

AMS Social

AMS and Social Media LinkedIn Facebook Podcasts Twitter YouTube RSS Feeds Blogs Wikipedia