Algebra, logic and applications door A.I. Kostrikin