Andrea Sorbi

Computability in Context: Computation and Logic in the Real World

S. Barry Cooper,Andrea Sorbi