Books in the Lecture Notes in Logic series

Wadge Degrees and Projective Ordinals is the second of a series of four books presenting the seminal papers from the Caltech-UCLA 'Cabal Seminar' with extensive unpublished material, new papers on related topics and discussion of research developments since the publication of the original volumes.

This concise introduction to model theory begins with standard notions and takes the reader through to more advanced topics such as stability, simplicity and Hrushovski constructions. The authors introduce the classic results, as well as more recent developments in this vibrant area of mathematical logic. Concrete mathematical examples are included throughout to make the concepts easier to follow. The book also contains over 200 exercises, many with solutions, making the book a useful resource for graduate students as well as researchers.

Papers examining aspects of Godel's work gathered from a symposium celebrating Goedel's centennial and papers from a 2004 ASL symposium.

This book provides an authoritative and multifaceted introduction to eight major approaches to computation on uncountable mathematical domains. The perspectives explored within reveal different aspects of effective uncountable mathematics, making it an ideal resource for graduate and advanced undergraduate students and researchers in this exciting new area of study.

Alan Turing, whose centenary was celebrated worldwide in 2012, has come to be recognised as a genius of modern mathematics. This volume presents a diverse collection of essays, written by leading experts, on the many areas of logic and computer science that have their provenance in his work.