Natural Deduction

by Dag Prawitz

Published 31 March 2006