The homotopy type of a closed simply connected 4-manifold is determined by the intersection form. The homotopy classes of maps between two such manifolds, however, do not coincide with the algebraic morphisms between intersection forms. Therefore the problem arises of computing the homotopy classes of maps algebraically and determining the law of composition for such maps. This problem is solved in the book by introducing new algebraic models of a...