Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Church, A. Schröder's anticipation of the simple theory of types. Erkenntnis 10, 407–411 (1976). https://doi.org/10.1007/BF00214734
Issue Date:
DOI: https://doi.org/10.1007/BF00214734