Models and Computability

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.

' … will prove an invaluable and unique resource for specialists, post-graduate researchers, and the informed and interested nonspecialist' Extrait de L'Enseignement Mathématique

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	Nicht verfügbar
ISBN 13	9780521635509
ISBN 10	0521635500
Titel	Models and Computability
Autor	S Barry Cooper
Serie	London Mathematical Society Lecture Note Series
Buchzustand	Nicht verfügbar
Bindungsart	Paperback
Verlag	Cambridge University Press
Erscheinungsjahr	1999-06-17
Seitenanzahl	430
Hinweis auf dem Einband	Die Abbildung des Buches dient nur Illustrationszwecken, die tatsächliche Bindung, das Cover und die Auflage können sich davon unterscheiden.
Hinweis	Nicht verfügbar