A. Heyting

9 papers and 89 indexed citations i.

A. Heyting has authored 9 papers that have received a total of 89 indexed citations. This includes 2 papers in Computational Theory and Mathematics, 1 paper in Biomedical Engineering and 1 paper in Mathematical Physics. The topics of these papers are Computability, Logic, AI Algorithms (2 papers), Mathematics and Applications (1 paper) and Mathematical and Theoretical Analysis (1 paper). A. Heyting is often cited by papers focused on Computability, Logic, AI Algorithms (2 papers), Mathematics and Applications (1 paper) and Mathematical and Theoretical Analysis (1 paper) and collaborates with scholars based in The Netherlands. A. Heyting's co-authors include L. E. J. Brouwer, Paul Bernays, Abraham A. Fraenkel, Howard Levi and Evert W. Beth and has published in prestigious journals such as American Mathematical Monthly, Synthese and Journal of Symbolic Logic