Dimiter G. Skordev (1987) Mathematical logic and its applications, Dordrecht, Springer.
pp. 351-359
This document is unfortunately not available for download at the moment.