Crossroads of Computability and Logic: Insights, Inspirations, and Innovations Arnold Beckmann, Isabel Oitavem & Florin Manea: другие книги

Pursuit of the Universal

2016

Evolving Computability

2015