Turing meets Schanuel

From MaRDI portal
Publication:2630828

DOI10.1016/j.apal.2015.10.003zbMath1432.03063OpenAlexW2473874150MaRDI QIDQ2630828

Angus J. Macintyre

Publication date: 22 July 2016

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2015.10.003



Related Items



Cites Work