PakCat catalogue record

Logic for Mathematicians

Bibliographic details

Additional authors

Mathematicians

Subjects

Deduction, Substitution Theorems, J. Barkley Rosser