Other Books

Mathematical Logic by Joseph R. Shoenfield

This classic introduction to the main areas of mathematical logical provides the basis for a first graduate course in the subject. It embodies the viewpoint that mathematical logic is not a collection of vaguely related results, but a coherent method of attacking some of the most interesting problems that face the mathematician. The author presents the basic concepts in an unusually clear and accessible fashion. He concentrates on what he views as the central topics of mathematical logic: proof theory, model theory, recursion theory, axiomatic number theory, and set theory. There are many exercises, and they provide the outline to what amounts to a second book that goes into all topics in more depth. This book has played a role in the education of many mature and accomplished researchers.

Visit crcpress.com to learn about ordering details.

the Collected Works of Kurt Gödel

The ASL also participated in the project to publish the Collected Works of Kurt Gödel (Oxford University Press).

Volume I: Publications 1929-1936 
Edited by Solomon Feferman, John W. Dawson, Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van Heijenoort
ISBN: 978019503964, Hardback $210.00 – discounted price $168.00; ISBN: 9780195147209, Paperback $55.00 – discounted price $44.00

Volume II: Publications 1938-1974 
Edited by Solomon Feferman, John W. Dawson, Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van Heijenoort
ISBN: 9780195039726, Hardback $210.00 – discounted price $168.00; ISBN: 9780195147216, Paperback $75.00 – discounted price $60.00

Volume III: Unpublished Essays and Lectures 
Edited by S. Feferman, John W. Dawson, Warren Goldfarb, Charles Parsons, R. Solovay
ISBN: 9780195072556, Hardback $240.00 – discounted price $192.00; ISBN: 9780195147223, Paperback $55.00 – discounted price $44.00

Kurt Godel: Collected Works: Volume IV Selected Correspondence, A-G 
Edited by Solomon Feferman, John W. Dawson, Warren Goldfarb, Charles Parsons, and Wilfrid Sieg
ISBN: 9780198500735, ISBN: Hardback $225.00 – discounted price $180.00

Kurt Godel: Collected Works: Volume V Correspondence, H-Z 
Edited by Solomon Feferman, John W. Dawson, Warren Goldfarb, Charles Parsons, and Wilfred Sieg
ISBN: 9780198500759, ISBN: Hardcover $250.00 – discounted price $200.00

Contact the asl@uconn.edu for discount codes.

US orders Oxford University Press (US)

UK and ROW orders: Oxford University Press (UK)

ASL members receive a 35% discount

de Gruyter Series

An international series of research monographs and textbooks in mathematical logic and related fields. Proceedings of conferences devoted to topics of current research interest may also be included.

Written by experts, the volumes in this series cover the major areas of contemporary logic, such as set theory, recursion theory, proof theory, and model theory as well as applications to other fields of mathematics.

The publications in this series should be useful both as texts for courses and as guides for lectures and seminars. At the same time, the volumes are sufficiently advanced to serve as a solid basis for further research.

Visit degruyter.com to learn about ordering details.

ASL members receive a 25% discount

The Handbook of the Logic of Argument and Inference

Edited by Dov Gabbay, Elsevier Science Publishers.

An authoritative reference work in a single volume, designed for the attention of senior undergraduates, graduate students, and research areas concerned with the logic of practical argument and inference. For further details, visit the Elsevier Science web site. Order form

ASL members receive a 30% discount