Computation and Logic in the Real World More Books by S. Barry Cooper, Benedikt Löwe & Andrea Sorbi

Computability Theory

2017

The Incomputable

2017