Logical and Logico-mathematical Calculi II pocketEngelsk, 1974