Models and Computability by S Barry Cooper
Together, Models and Computability and its sister volume Sets and Proofs 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, post-graduate researchers, and the informed and interested nonspecialist.Prof. S. Barry Cooper was a Professor of Pure Mathematics at the University of Leeds. He was the founding President of the Computability in Europe Association, and a prolific author and editor in the domain of computability. He championed Alan Turing's achievements in logic and computer science, and in particular he motivated and organized cross-disciplinary collaborations, among them the events, publications and broadcasts of the Alan Turing Year in 2012.
Dr. Mariya I. Soskova is an associate professor in the Dept. of Mathematical Logic and Applications in Sofia University. She was recently a visiting scholar at the University of California, and a visiting seminar professor at the Dept. of Mathematics at the University of Wisconsin, Madison.
| SKU | Unavailable |
| ISBN 13 | 9780521635509 |
| ISBN 10 | 0521635500 |
| Title | Models and Computability |
| Author | S Barry Cooper |
| Series | London Mathematical Society Lecture Note Series |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Cambridge University Press |
| Year published | 1999-06-17 |
| Number of pages | 430 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |