Published: July 1989
With its richness and originality, this monograph is certainly useful for students and researchers in the fields of logic and computation theory.
Phan Dinh Dieu, Zentralblatt für Mathematik
In my opinion, the book is an excellent monograph for specialists.
Revue Romaine de Mathematiques Pures et Appliquees
The book contains a lot of results presented in a very elegant and economic way; according to the reviewer's knowledge, Börger's book is readily used as a textbook in courses in the mathematical and logical foundations of computer science.
J. Wolenski, Studia Logica