Introduction to elmentary mathematical logic - Stolyar Abram Aronovicb (Cambridge MIT Press, 1970)
Bibliography 199-200p; Appendices 189-198p