PakCat catalogue record Logic for Mathematicians Bibliographic details PublisherEnglish Edition1953 Material typeBook Physical descriptionill Additional authorsMathematicians SubjectsDeduction, Substitution Theorems, J. Barkley Rosser