Elementary formal logic. A programmed course.
Hamblin, C. L.
London, 
1967.