Mathematical Logic - sidottu, Englanti, 1976