Construction of Ramified Real Numbers
Work
Year: 1956
Type: article
Abstract: 1. 1. Symbols 1. 1. 1. t-variables * We have * We haveLet V be a formula with argument-place of the form {x}A(x). Then TE V is defined as abbreviated expression of A(T).
Author Gaisi Takeuti
Cites: 2
Cited by:
Related to: 10
FWCI:
Citation percentile (by year/subfield):
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze