A theory of variable types
Author
Type
Artículo de revista
Document language
EspañolPublication Date
1985Metadata
Show full item recordSummary
Several publications in recent years have presented various formal theories T in which considerable portions of mathematical practice (particularly analysis) can be more or less directly formalized and which are proof-theoretically weak; cf. Feferman 1977, Takeuti 1978 and Friedman 1980.Keywords
Collections
