@lepsky

Mathematical logic as based on the theory of types

. American Journal of Mathematics, 30 (3): 222--262 (1908)
DOI: 10.2307/2369948

Links and resources

Tags