Hailed by the Bulletin of the American Mathematical Society as "easy to use and a pleasure to read," this research monograph is recommendedfor students and professionals interested in model theory and definability theory. The sole prerequisite is a familiarity withthe basics of logic, model theory, and set theory.
The author, Professor of Mathematics at UCLA and Emeritus Professor of Mathematics, University of Athens, Greece, begins with a focus on the theory of inductive and hyperelementary sets. Subsequent chapters advance to acceptable structures and countable acceptable...

The volume is the outgrowth of a workshop with the same title held at MSRI in the week of November 13-17, 1989, and for those who did not get it, Logic from Computer Science is the converse of Logic in Computer Science, the full name of the highly successful annual LICS conferences. We meant to have a conference which would bring together the LICS commu nity with some of the more traditional "mathematical logicians" and where the emphasis would be on the flow of ideas from computer science to logic rather than the other way around. In a LICS talk, sometimes, the speaker presents a perfectly...