Book

Computation and Logic in the Real World

by Benedikt Löwe, S. Barry Cooper, Andrea Sorbi