Richards, Computability in analysis and physics (1989)

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