Theorems on deducibility (Second paper), Annals of Mathematics 28 (1927)

by C H Langford
Venue:Journal of Symbolic Logic