TY - BOOK AU - Beardsley, Monroe C TI - Practical logic PY - 2002/// PB - D C Books ER -