Gallier, Jean H.. Logic for Computer Science: Foundations of Automatic theorem proving / - New York 10158 : John Wiley & Sons, Inc. , 1982 - xiii,511p ; ISBN: 0 471 61546 3 Subjects--Topical Terms: Mathematical symbolic Dewey Class. No.: BV / M7;1