Elementary Logic - heftet, Engelsk, 1980