PakCat catalogue record COMPUTATIONAL LOGIC AND SET THEORY By JACOB, T.SCHWARTZ Bibliographic details PublisherSPRINGER Publication placeLONDON Publication year2011 Material typeBook Physical description416 P.