Normal derivability in classical logic (1968)

by W W Tait
Venue:The Syntax and Semantics of Infinitary Languages