Anderson John M Natural deduction the logical basis of axiom systems Anderson John M; Johnstone Henry W - 1962 Standard No.: 17,642 Source: Textual Subjects--Topical Terms: PHILOSOPHY Dewey Class. No.: R12, K2