Logical Foundations - heftet, Engelsk, 1991