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.