RUS  ENG
Full version
JOURNALS // Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika // Archive
Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1984 Number 4, Pages 72–75 (Mi vmumm3398)
Short notes

Constructive set theory with types, and consistency with Church's thesis

F. R. Kashapova


UDC: 517.11

Received: 29.12.1982



Bibliographic databases:

© Steklov Math. Inst. of RAS, 2025