Computation and logic in the real world : third conference on computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007: proceedings / ed. S. B. Cooper, 2007 r=on-line. - Текст : электронный.
Приложение
для Android