MATHEMATICS

Determination of classes of constructively derivable theorems in a many-sorted intuitionistic set theory equivalent to a second-order arithmetic

F. R. Kashapova

Lomonosov Moscow State University

UDC: 517.11

Presented: A. N. Kolmogorov
Received: 17.06.1983

Bibliographic databases:

• 
•