J.I.: Computability in Analysis and Physics (1989)

by M B Pour-El, Richards
Venue:Perspectives in Mathematical Logic