A brief history of natural deduction (1999)

by Francis Jeffry Pelletier
Venue:History and Philosophy of Logic