ISBN 9781107325944 is currently unpriced. Please contact us for pricing.
Available options are listed below:
Available options are listed below:
Sets and Proofs
| PUBLISHER | Cambridge University Press (09/05/2013) |
| PRODUCT TYPE | eBook (Open Ebook) |
Description
Together, Sets and Proofs and its sister volume Models and Computability will provide readers with a comprehensive guide to the current state of mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at "Logic Colloquium "97" (the major international meeting of the Association of Symbolic Logic). It is expected that the breadth and timeliness of these two volumes will prove an invaluable and unique resource for specialists, postgraduate researchers, and the informed and interested nonspecialist.
Show More
Product Format
Product Details
ISBN-13:
9781107325944
ISBN-10:
1107325943
Content Language:
English
More Product Details
Carton Quantity:
0
Country of Origin:
US
Subject Information
BISAC Categories
Mathematics | Logic
Dewey Decimal:
511.3
Descriptions, Reviews, Etc.
publisher marketing
Together, Sets and Proofs and its sister volume Models and Computability will provide readers with a comprehensive guide to the current state of mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at "Logic Colloquium "97" (the major international meeting of the Association of Symbolic Logic). It is expected that the breadth and timeliness of these two volumes will prove an invaluable and unique resource for specialists, postgraduate researchers, and the informed and interested nonspecialist.
Show More
Editor:
Cooper, S. Barry
S. Barry Cooper is Professor of Mathematical Logic at the University of Leeds. His research follows that of Alan Turing in its focus on the nature of mental and physical computation. His other books include the prize-winning Alan Turing: His Work and Impact, Computability Theory, New Computational Paradigms, and Computability in Context. Cooper is a leading advocate of multidisciplinary research at the interface between what is known to be computable, and theoretical and practical incomputability. He chaired the Turing Centenary Committee, which coordinated the international Turing Centenary celebrations. He is also President of the Association Computability in Europe, which is responsible for the largest computability-themed international conference series, and he chairs the editorial board of its book series, Theory and Applications of Computability.
Show More
