PakCat catalogue record Logic for Mathematicians Bibliographic details PublisherEng. Material typeBook Physical description530 SubjectsRosser, J. Barkley