Article,

Mathematical logic as based on the theory of types

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

Meta data

Tags

Users

  • @lepsky

Comments and Reviews