Teaching Philosophy

Volume 10, Issue 2, June 1987

Stephen Pollard
Pages 129-134

A System of Logic Based on Conditional Proof