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


Kalmar L.
[1936]
Zurückfürung des Entscheidungs – problems auf den Fall von Formeln mit einer einzigen binären Funktionsvariablen
Compsitio Math., 4, 137-144
~
article

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

~