Natural Deduction, Almqvist & Wiksell (1965)

by D Prawitz