PakCat catalogue record Logic for mathematicians By Rosser, J.B Bibliographic details PublisherMcGraw-Hill Publication year1953