PakCat catalogue record Logic for computer science foundations of automatic theorem proving By NULL Bibliographic details PublisherBlank Material typeBook Physical descriptionxv, 511p. SubjectsNULL