Mathematical Investigations of Functional Interpretation of a Constructive Arithmetic System With the Bar Induction (of Type 0) and Definitions By Transfinite Recursion

Cached

Download Links

by n.n.

Documents Related by Co-Citation

No related documents identified.