|
Computable classes of constructivizations of $2$-constructivizable models
S. Yu. Podzorov Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk
Received: 10.08.1998
Citation:
S. Yu. Podzorov, “Computable classes of constructivizations of $2$-constructivizable models”, Algebra Logika, 38:6 (1999), 697–722
Linking options:
https://www.mathnet.ru/eng/al2488 https://www.mathnet.ru/eng/al/v38/i6/p697
|
|