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

by M B Pour-El
Venue:Transactions of the American Mathematical Society