PakCat catalogue record Logic for Computer Sciencs Foundations of Automatic Theorem Proving Bibliographic details PublisherEnglish Edition1986 Material typeBook Physical descriptionill Additional authorsMathematics _Computr Logic SubjectsJean H. Gallier, Logic, Herbrand, S Theorem