A Formal Background to Mathematics 2a - heftet, Engelsk, 1980