WOODS, John Hayden. Proof & truth : mathematical logic for non-mathematicians / John Woods. - Toronto, Martin, c1974. - xiv, 192 p. : ill. ; Includes bibliographies and index. ISBN: 0887780806 : Subjects--Topical Terms: Logic, Symbolic and mathematical. Dewey Class. No.: 510