Some theorems on deducibility (1927)

by C H Langford
Venue:Annals of Mathematics 28