Logic and structure - Van Dalen Dirk (Berlin Springer-Verlag, 1980)
Appendix 165-67p; Bibliography 168p