RUS  ENG
Full version
JOURNALS // Matematicheskie Zametki // Archive
Mat. Zametki, 1981 Volume 30, Issue 2, Pages 269–276 (Mi mzm6221)
Variants of the axiom of choice in the simple theory of types

A. M. Yakubovich


UDC: 512

Received: 07.06.1978


 English version: Mathematical Notes, 1981, 30:2, 622–626

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2024