Computability and -definability.

DOI10.2307/2268280zbMATH Open63.0824.03OpenAlexW1485161910WikidataQ54196750 ScholiaQ54196750MaRDI QIDQ2603370FDOQ2603370

Authors: A. M. Turing 

Publication date: 1937

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2268280

Cited In (1)

• Quantum Bayesian computation

This page was built for publication: Computability and \(\lambda\)-definability.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2603370)