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


Läuchli H.
[1968]
A decision procedure for the weak second order theory of linear order
Conrib. math. Logic, (Coll., Hannover, 1966), North-Holland, 1968, 189-197
?
article

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