Ziembiński, Zygmunt: Practical logic. Dordrecht : Reidel, 1976