Computability and physical theories (1986)

by R Geroch, J B Hartle
Venue:Foundations of Physics