3 books in this genre
Logic and computation
Workshop on Logic and Computation (1987 Carnegie Mellon University)
Computability in analysis and physics
Marian B. Pour-El
New computational paradigms
Barry S. Cooper
