Infinite games and finite machines: from large cardinals to computers - J.-P. Ressayre (Изд-во НАН РА)
Keywords: Mathematics; Computer software