TY - BOOK AU - Gallier, Jean H. TI - Logic for computer science : foundations of automatic theorem proving SN - 0471615463 U1 - 511.3 PY - 1987/// CY - New York PB - John Wiley ER -