TY - BOOK AU - Bostock,David ED - ProQuest (Firm) TI - Intermediate logic AV - BC135 .B473 1997 U1 - 160 21 PY - 1997/// CY - Oxford, New York PB - Clarendon Press, Oxford University Press KW - Logic, Symbolic and mathematical KW - Logic KW - Electronic books N1 - Includes bibliographical references (p. 379-381) and index; Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries UR - https://ebookcentral.proquest.com/lib/bacm-ebooks/detail.action?docID=430685 ER -