The Substitution Method (1965)

by W W Tait
Venue:J. Symbolic Logic