Products Studies in Logic and the Foundations of Mathematics Book series information Product description Editorial board Volumes in series Author information and services Support & contact About Elsevier Select your view

	STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS Series edited by P. Suppes S. Abramsky S. Artemov D.M. Gabbay A. Kechris A. Pillay R.A. Shore Description Studies in Logic publishes monographs and occasionally edited volumes in the area of mathematical logic and its applications. Volumes in series 150 Relation Algebras, 150 To order this title, and for more information, click here By Roger Maddux ISBN-13: 978-0-444-52013-5, ISBN-10: 0-444-52013-9, Year: 2006, USD 210, GBP 124, EUR 180 149 Lectures on the Curry-Howard Isomorphism, 149 To order this title, and for more information, click here By Morten Heine Sørensen, Pawel Urzyczyn ISBN-13: 978-0-444-52077-7, ISBN-10: 0-444-52077-5, Year: 2006, GBP 68.99, USD 126, EUR 100 148 Many-Dimensional Modal Logics: Theory and Applications, 148 To order this title, and for more information, click here By D.M. Gabbay, A. Kurucz, F. Wolter, M. Zakharyaschev ISBN-13: 978-0-444-50826-3, ISBN-10: 0-444-50826-0, Year: 2003, GBP 100, USD 170, EUR 150 147 Relation Algebras by Games, 147 To order this title, and for more information, click here By R. Hirsch, I. Hodkinson ISBN-13: 978-0-444-50932-1, ISBN-10: 0-444-50932-1, Year: 2002, GBP 88, USD 150, EUR 132 146 Rudiments of μ-calculus, 146 To order this title, and for more information, click here Edited By A. Arnold, D. Niwinski ISBN-13: 978-0-444-50620-7, ISBN-10: 0-444-50620-9, Year: 2001, USD 96.95, GBP 57, EUR 85 144 Computable Structures and the Hyperarithmetical Hierarchy, 144 To order this title, and for more information, click here By C.J. Ash , J. Knight ISBN-13: 978-0-444-50072-4, ISBN-10: 0-444-50072-3, Year: 2000, GBP 78, USD 133, EUR 117 143 Classical Recursion Theory, Volume II To order this title, and for more information, click here By P. Odifreddi ISBN-13: 978-0-444-50205-6, ISBN-10: 0-444-50205-X, Year: 1999, GBP 106, USD 181, EUR 159 142 Tools and Techniques in Modal Logic, 142 To order this title, and for more information, click here By M. Kracht ISBN-13: 978-0-444-50055-7, ISBN-10: 0-444-50055-3, Year: 1999, USD 155, EUR 137, GBP 91 141 Categorical Logic and Type Theory, 141 To order this title, and for more information, click here By B. Jacobs ISBN-13: 978-0-444-50853-9, ISBN-10: 0-444-50853-8, Year: 1998, EUR 81.95, USD 108, GBP 54.99 139 Recursive Algebra, Analysis and Combinatorics Buy online with a credit card in the Elsevier Science & Technology Bookstore: http://books.elsevier.com/elsevier/?isbn=0444500030 Edited by Y.L. Ershov, S.S. Goncharov, A. Nerode, J.B. Remmel, Associate Editor V.W. Marek Volume 1 - Recursive Model Theory Hardbound, , ISBN: 0-444-50003-0, 664 pages, publication date: DEC-1998 Price: EUR 129, USD 147 Volume 2 - Recursive Algebra, Analysis and Combinatorics Hardbound, , ISBN: 0-444-50106-1, 798 pages, publication date: DEC-1998 Price: EUR 159, GBP 106 2 Volume Set Hardbound, , ISBN: 0-444-50107-X, 1464 pages, publication date: DEC-1998 Price: EUR 246, GBP 164 138 Recursive Model Theory Buy online with a credit card in the Elsevier Science & Technology Bookstore: http://books.elsevier.com/elsevier/?isbn=0444500030 Edited by Y.L. Ershov, S.S. Goncharov, A. Nerode, J.B. Remmel, Associate Editor V.W. Marek Volume 1 - Recursive Model Theory Hardbound, , ISBN: 0-444-50003-0, 664 pages, publication date: DEC-1998 Price: EUR 129, USD 147 Volume 2 - Recursive Algebra, Analysis and Combinatorics Hardbound, , ISBN: 0-444-50106-1, 798 pages, publication date: DEC-1998 Price: EUR 159, GBP 106 2 Volume Set Hardbound, , ISBN: 0-444-50107-X, 1464 pages, publication date: DEC-1998 Price: EUR 246, GBP 164 137 Handbook of Proof Theory To order this title, and for more information, click here Edited By S.R. Buss ISBN-13: 978-0-444-89840-1, ISBN-10: 0-444-89840-9, Year: 1998, GBP 107, USD 182, EUR 161 136 Admissibility of Logical Inference Rules, 136 To order this title, and for more information, click here By V.V. Rybakov ISBN-13: 978-0-444-89505-9, ISBN-10: 0-444-89505-1, Year: 1997, GBP 107, USD 182, EUR 160 130 Language in Action, 130 Categories, Lambdas and Dynamic Logic To order this title, and for more information, click here By J. van Benthem ISBN-13: 978-0-444-89000-9, ISBN-10: 0-444-89000-9, Year: 1991, USD 121, EUR 106, GBP 71 128 Computability, Complexity, Logic Buy online with a credit card in the Elsevier Science & Technology Bookstore: http://books.elsevier.com/elsevier/?isbn=0444874062 By E. Börger ISBN-13: 978-0-444-87406-1, ISBN-10: 0-444-87406-2, Year: 1989, GBP 111, USD 166, EUR 166 125 Classical Recursion Theory The Theory of Functions and Sets of Natural Numbers To order this title, and for more information, click here By P. Odifreddi ISBN-13: 978-0-444-89483-0, ISBN-10: 0-444-89483-7, Year: 1989, EUR 68.95, USD 81.95, GBP 45.99 123 Volume 2 An Introduction Buy online with a credit card in the Elsevier Science & Technology Bookstore: http://books.elsevier.com/elsevier/?isbn=0444702660 By A.S. Troelstra, D. Van Dalen Volume 1 Hardbound, , ISBN: 0-444-70266-0, xx + 358 pages, publication date: JUL-1988 Price: EUR 143, USD 147 Volume 1 Paperback, , ISBN: 0-444-70506-6, publication date: AUG-1988 Price: EUR 50, GBP 33.50 Volume 2 Hardbound, , ISBN: 0-444-70358-6, xviii + 586 pages, publication date: JUL-2004 Price: EUR 143, USD 147 121 Volume 1 An Introduction Buy online with a credit card in the Elsevier Science & Technology Bookstore: http://books.elsevier.com/elsevier/?isbn=0444702660 By A.S. Troelstra, D. Van Dalen Volume 1 Hardbound, , ISBN: 0-444-70266-0, xx + 358 pages, publication date: JUL-1988 Price: EUR 143, USD 147 Volume 1 Paperback, , ISBN: 0-444-70506-6, publication date: AUG-1988 Price: EUR 50, GBP 33.50 Volume 2 Hardbound, , ISBN: 0-444-70358-6, xviii + 586 pages, publication date: JUL-2004 Price: EUR 143, USD 147 103 The Lambda Calculus, 103 Its Syntax and Semantics To order this title, and for more information, click here By H.P. Barendregt ISBN-13: 978-0-444-87508-2, ISBN-10: 0-444-87508-5, Year: 1984, GBP 66.99, EUR 99.95, USD 119 102 Set Theory An Introduction To Independence Proofs To order this title, and for more information, click here By Author Unknown ISBN-13: 978-0-444-86839-8, ISBN-10: 0-444-86839-9, Year: 1983, USD 96.95, EUR 83.95, GBP 55.99 92 Classification Theory and the Number of Non-Isomorphic Models Buy online with a credit card in the Elsevier Science & Technology Bookstore: http://books.elsevier.com/elsevier/?isbn=0444702601 By S. Shelah ISBN-13: 978-0-444-70260-9, ISBN-10: 0-444-70260-1, Year: 1990, GBP 221, USD 331, EUR 331 90 Handbook of Mathematical Logic To order this title, and for more information, click here Edited By J. Barwise ISBN-13: 978-0-444-86388-1, ISBN-10: 0-444-86388-5, Year: 1977, GBP 77, USD 138, EUR 117 73 Model Theory Buy online with a credit card in the Elsevier Science & Technology Bookstore: http://books.elsevier.com/elsevier/?isbn=0444880542 By C.C. Chang, H.J. Keisler ISBN-13: 978-0-444-88054-3, ISBN-10: 0-444-88054-2, Year: 1990, GBP 108, USD 162, EUR 162 64 Cylindric Algebras, Part I Buy online with a credit card in the Elsevier Science & Technology Bookstore: http://books.elsevier.com/elsevier/?isbn=0720420431 By L. Henkin, J.D. Monk, A. Tarski Part I - Cylindric Algebras, Part I Hardbound, , ISBN: 0-7204-2043-1, publication date: FEB-1985 Price: EUR 172, GBP 115 Realizability, 152 An Introduction to its Categorical Side To order this title, and for more information, click here By Jaap van Oosten ISBN-13: 978-0-444-51584-1, ISBN-10: 0-444-51584-4, Year: 2008, GBP 87, USD 155, EUR 125 Residuated Lattices: An Algebraic Glimpse at Substructural Logics, 151 To order this title, and for more information, click here By Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski, Hiroakira Ono ISBN-13: 978-0-444-52141-5, ISBN-10: 0-444-52141-0, Year: 2007, USD 132, EUR 120, GBP 83 Last update: 13 May 2008	Bookmark this page Recommend this publication Overview of all Book Series