On infinite direct products 论文

1939French digital mathematics library (Numdam)引用 263
Computability, Logic, AI Algorithms