A Formal Background to Mathematics 2a - häftad, Engelska, 1980