Mathematical logic applications and theory - Rubin, Jean E. (Saunders College Publishing, 1990)