# Heyting

> family name

**Wikidata**: [Q99864519](https://www.wikidata.org/wiki/Q99864519)  
**Source**: https://4ort.xyz/entity/heyting