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