Published: May 2001
...The author's achievement in collecting and organizing a very large body of material in coherent form,... this is first and foremost an encyclopaedic work, into which specialists will delve with much pleasure and profit... One very welcome feature of the book is a comprehensive bibliography of nearly 350 items...
Zentralblatt für Mathematik, vol.905
This book will be the standard reference in its field for some time to come.
R.A.G. Seely, The Bulletin of Symbolic Logic, Vol. 6