Alan Turing and the Foundations of Computable Analysis
From MaRDI portal
Publication:3174639
DOI10.2178/bsl/1309952319zbMath1238.03003OpenAlexW2142519528MaRDI QIDQ3174639
Publication date: 11 October 2011
Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2178/bsl/1309952319
History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Computation over the reals, computable analysis (03D78)
Related Items
Cites Work