The AMS is pleased to offer this selection of publications in Logic & Foundations
on sale for a limited time.
|
|
Hausdorff on Ordered Sets - J. M. Plotkin, Michigan State University, Editor - AMS | LMS, 2005, 322 pp., Softcover, ISBN-10: 0-8218-3788-5, ISBN-13: 978-0-8218-3788-7, List: US$72, All AMS Members: US$58, Sale Price: US$25, HMATH/25 |
| |
|
|
The Stationary Tower: Notes on a Course by W. Hugh Woodin - Paul B. Larson, Miami University - AMS, 2004, 132 pp., Softcover, ISBN-10: 0-8218-3604-8, ISBN-13: 978-0-8218-3604-0, List: US$30, All AMS Members: US$24, Sale Price: US$15, ULECT/32 |
| |
|
|
Computable Functions - A. Shen, Independent University of Moscow, and N. K. Vereshchagin, Moscow State Lomonosov University - AMS, 2003, 166 pp., Softcover, ISBN-10: 0-8218-2732-4, ISBN-13: 978-0-8218-2732-1, List: US$32, All AMS Members: US$26, Sale Price: US$16, STML/19 |
| |
|
|
Algebras of Sets and Combinatorics - L. Š. Grinblat, College of Judea and Samaria - AMS, 2002, 256 pp., Hardcover, ISBN-10: 0-8218-2765-0, ISBN-13: 978-0-8218-2765-9, List: US$109, All AMS Members: US$87, Sale Price: US$27, MMONO/214 |
| |
|
|
Set Theory: The Hajnal Conference - Simon Thomas, Rutgers University, Editor - AMS | DIMACS, 2002, 160 pp., Hardcover, ISBN-10: 0-8218-2786-3, ISBN-13: 978-0-8218-2786-4, List: US$65, All AMS Members: US$52, Sale Price: US$23, DIMACS/58 |
| |
|
|
Lectures on Algebraic Model Theory - Bradd Hart and Matthew Valeriote, McMaster University, Editors - AMS | FI, 2002, 111 pp., Hardcover, ISBN-10: 0-8218-2705-7, ISBN-13: 978-0-8218-2705-5, List: US$34, All AMS Members: US$27, Sale Price: US$17, FIM/15 |
| |
|
|
Stable Groups - Bruno Poizat, Université Claude Bernard - AMS, 2001, 129 pp., Hardcover, ISBN-10: 0-8218-2685-9, ISBN-13: 978-0-8218-2685-0, List: US$54, All AMS Members: US$43, Sale Price: US$19, SURV/87 |
| |
|
|
Number Theoretic Density and Logical Limit Laws - Stanley N. Burris, University of Waterloo - AMS, 2001, 289 pp., Hardcover, ISBN-10: 0-8218-2666-2, ISBN-13: 978-0-8218-2666-9, List: US$76, All AMS Members: US$61, Sale Price: US$19, SURV/86 |
| |
|
|
Ordered Exponential Fields - Salma Kuhlmann, University of Saskatchewan - AMS | FI, 2000, 166 pp., Hardcover, ISBN-10: 0-8218-0943-1, ISBN-13: 978-0-8218-0943-3, List: US$56, All AMS Members: US$45, Sale Price: US$20, FIM/12 |
| |
|
|
Classification and Orbit Equivalence Relations - Greg Hjorth, University of California, Los Angeles - AMS, 2000, 195 pp., Hardcover, ISBN-10: 0-8218-2002-8, ISBN-13: 978-0-8218-2002-5, List: US$61, All AMS Members: US$49, Sale Price: US$21, SURV/75 |
| |
|
|
Model Theory and Applications - AMS, 1999, 346 pp., Hardcover, ISBN-10: 0-8218-1092-8, ISBN-13: 978-0-8218-1092-7, List: US$98, All AMS Members: US$78, Sale Price: US$25, TRANS2/195 |
| |
|
|
Provability, Complexity, Grammars - Lev Beklemishev, Steklov Institute of Mathematics, and Mati Pentus and Nikolai Vereshchagin, Moscow State University - AMS, 1999, 172 pp., Hardcover, ISBN-10: 0-8218-1078-2, ISBN-13: 978-0-8218-1078-1, List: US$98, All AMS Members: US$78, Sale Price: US$25, TRANS2/192 |
| |
|
|
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$172, All AMS Members: US$138, Sale Price: US$43, DIMACS/35 |
| |
|
|
Proof Complexity and Feasible Arithmetics - Paul W. Beame, University of Washington, and Samuel R. Buss, University of California at San Diego, Editors - AMS | DIMACS, 1998, 320 pp., Hardcover, ISBN-10: 0-8218-0577-0, ISBN-13: 978-0-8218-0577-0, List: US$68, All AMS Members: US$54, Sale Price: US$24, DIMACS/39 |
| |
|
|
Discovering Modern Set Theory. II: Set-Theoretic Tools for Every Mathematician - Winfried Just, Ohio University, Athens, and Martin Weese, University of Potsdam, Germany - AMS, 1997, 224 pp., Hardcover, ISBN-10: 0-8218-0528-2, ISBN-13: 978-0-8218-0528-2, List: US$43, All AMS Members: US$34, Sale Price: US$22, GSM/18 |
| |
|
|
Logic and Random Structures - Ravi B. Boppana, New York University-Courant Institute of Mathematical Sciences, and James F. Lynch, Clarkson University, Potsdam, NY, Editors - AMS | DIMACS, 1997, 130 pp., Hardcover, ISBN-10: 0-8218-0578-9, ISBN-13: 978-0-8218-0578-7, List: US$34, All AMS Members: US$27, Sale Price: US$17, DIMACS/33 |
| |
|
|
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$57, All AMS Members: US$46, Sale Price: US$20, DIMACS/32 |
| |
|
|
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$64, All AMS Members: US$51, Sale Price: US$22, DIMACS/31 |
| |
|
|
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$98, All AMS Members: US$78, Sale Price: US$25, DIMACS/29 |
| |
|
|
Problems of Reducing the Exhaustive Search - V. Kreinovich, University of Texas at El Paso, and G. Mints, Stanford University, Editors - AMS, 1997, 189 pp., Hardcover, ISBN-10: 0-8218-0386-7, ISBN-13: 978-0-8218-0386-8, List: US$91, All AMS Members: US$73, Sale Price: US$23, TRANS2/178 |
| |
|
|
The Collected Works of Julia Robinson - Solomon Feferman, Stanford University, Editor - AMS, 1996, 338 pp., Hardcover, ISBN-10: 0-8218-0575-4, ISBN-13: 978-0-8218-0575-6, List: US$80, All AMS Members: US$64, Sale Price: US$20, CWORKS/6 |
| |
|
|
Complexity of Proofs and Their Transformations in Axiomatic Theories - V. P. Orevkov - AMS, 1993, 153 pp., Hardcover, ISBN-10: 0-8218-4576-4, ISBN-13: 978-0-8218-4576-9, List: US$75, All AMS Members: US$60, Sale Price: US$19, MMONO/128 |
| |
|
|
Ordered Sets and Lattices - Kh. Drashkovicheva, T. S. Fofanova, V. I. Igoshin, T. Katrinyak, M. Kolibiar, A. V. Mikhalëv, V. N. Saliĭ, and L. A. Skornyakov - AMS, 1989, 203 pp., Softcover, ISBN-10: 0-8218-3121-6, ISBN-13: 978-0-8218-3121-2, List: US$95, All AMS Members: US$76, Sale Price: US$24, TRANS2/141 |
| |
|
|
Eleven Papers Translated from the Russian - V. I. Bernik, N. A. Dmitriev, E. B. Dynkin, K.-H. Elster, L. A. Gutnik, R. Heine, F. I. Karpelevich, L. G. Kiseleva, A. F. Leont'ev, Yu. I. Manin, Yu. P. Razmyslov, L. A. Skornyakov, and D. P. Skvortsov - AMS, 1988, 147 pp., Hardcover, ISBN-10: 0-8218-3116-X, ISBN-13: 978-0-8218-3116-8, List: US$69, All AMS Members: US$55, Sale Price: US$24, TRANS2/140 |
| |
|
|
Six Papers in Logic - S. N. Artemov, M. I. Bekenov, A. D. Korshunov, V. E. Vaĭl', and B. I. Zil'ber - AMS, 1987, 79 pp., Hardcover, ISBN-10: 0-8218-3111-9, ISBN-13: 978-0-8218-3111-3, List: US$54, All AMS Members: US$43, Sale Price: US$19, TRANS2/135 |
| |
|
|
Mathematical Logic, the Theory of Algorithms and the Theory of Sets: Dedicated to Academician Petr Sergeevič Novikov on His Seventieth Birthday - S. I. Adjan, Editor - AMS, 1977, 274 pp., Softcover, ISBN-10: 0-8218-3033-3, ISBN-13: 978-0-8218-3033-8, List: US$105, All AMS Members: US$84, Sale Price: US$26, STEKLO/133 |
| |
|
|
Logical and Logico-Mathematical Calculi. II - V. P. Orevkov, Editor - AMS, 1974, 183 pp., Softcover, ISBN-10: 0-8218-3021-X, ISBN-13: 978-0-8218-3021-5, List: US$76, All AMS Members: US$61, Sale Price: US$19, STEKLO/121 |
| |
|
|
Some Questions in Constructive Functional Analysis - Phan Dinh Diêu - AMS, 1974, 228 pp., Softcover, ISBN-10: 0-8218-3014-7, ISBN-13: 978-0-8218-3014-7, List: US$108, All AMS Members: US$86, Sale Price: US$27, STEKLO/114 |
| |
|
|
Five Papers on Logic and Foundations - G. S. Ceĭtin, A. A. Markov, S. Ju. Maslov, and I. D. Zaslavskiĭ - AMS, 1971, 288 pp., Hardcover, ISBN-10: 0-8218-1898-8, ISBN-13: 978-0-8218-1898-5, List: US$57, All AMS Members: US$46, Sale Price: US$20, TRANS2/98 |
| |
|
|
Eleven Papers on Logic, Algebra, Analysis and Topology - I. U. Bronšteĭn, B. M. Budak, E. P. Dolženko, I. C. Gohberg, M. G. Kreĭn, O. N. Macedonskaja, S. Ju. Maslov, A. N. Šarkovskiĭ, Ju. L. Šmul'jan, and M. S. Stavskiĭ - AMS, 1971, 258 pp., Hardcover, ISBN-10: 0-8218-1797-3, ISBN-13: 978-0-8218-1797-1, List: US$51, All AMS Members: US$41, Sale Price: US$18, TRANS2/97 |
| |
|
|
Nine Papers on Logic and Quantum Electrodynamics - V. K. Detlovs, A. S. Esenin-Vol'pin, I. N. Hlodovskiĭ, A. A. Mučnik, P. K. Raševskiĭ, N. A. Šanin, B. A. Trahtenbrot, and V. A. Uspenskiĭ - AMS, 1963, 335 pp., Hardcover, ISBN-10: 0-8218-1723-X, ISBN-13: 978-0-8218-1723-0, List: US$44, All AMS Members: US$35, Sale Price: US$22, TRANS2/23 |
| |
|
|
Grundzüge der Mengenlehre - Felix Hausdorff - AMS, 1949, 476 pp., Hardcover, ISBN-10: 0-8284-0061-X, ISBN-13: 978-0-8284-0061-9, List: US$45, All AMS Members: US$41, Sale Price: US$23, CHEL/61 |
| |
Comments: webmaster@ams.org