Natural Deduction. Almqvist (1965)

by Dag Prawitz