Also known as A. Heyting
Dutch mathematician and logician (1898-1980)
5 total works indexed
· 2018 · cited 2,681x
· 2007 · cited 2,669x
· 2008 · cited 2,649x
· 2014 · cited 2,165x
· 2013 · cited 2,081x
via Crossref · CC0
via Wikidata · CC0
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).