TY - BOOK AU - Woods,John TI - Proof and truth: : mathematical logic for non-mathematicians AV - QA9.54.W6 PY - 1974/// CY - Canada PB - Peter Martin associates ltd ER -