Natural deduction the logical basis of axiom systems - Anderson John M; Johnstone Henry W (1962)
Keywords: PHILOSOPHY