Natural deduction theorem proving in set theory (1983)

by David Schmidt