Computability in analysis and physics (1989)

by Marian B Pour-El and J Ian Richards
Venue:Perspectives in Mathematical Logic