Abstract computability and its relation to the general purpose analog computer (some connections between logic, differential equations and analog computers (1974)

by M B Pour-El
Venue:Trans. AMS