Deduction and Metalogic

Undergraduate course

Course description