Bibliography of Lavrov I.A.


Normann D.
[2002]
Continuity, proof systems and the theory of transfinite computations
Arch. Math. Logik Grundl., 41, № 8, 765-788
04.12.80
article

Вернуться к поиску