Библиография Лаврова И.А.


Rabin M.
[1965]
A simple method for undecidability proofs and some applications
Proc. II Inter. Congress Logic, Methodology, Philosophy Sci., (Amsterdam, 1965), Amsterdam, 1965, 58-68
69.06.97
article

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