Six papers in logic (American Mathematical Society: American Mathematical Society translations / 2, 1987)