PakCat catalogue record LOGIC FOR MATHEMATICIANS By ROSSER, J. B. Bibliographic details Publication year1953 Material typeBook