Bridge to abstract mathematics - Morash Ronald P (1987)
Keywords: Mathematical logic