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


Reed R.C.
[1991]
A decidable Ehrenfeucht theory with exactly two hyperarithmetic models
Ann. Pure Appl. Logic, 53, № 2, 135-168
91.12.59
article

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