Algebra, logic and applications by A.I. Kostrikin