English

English Deutsch Español Français Português 中文日本語

EntityQ5548813· pop 5· linked from 63 articles

Heyting arithmetic

Sign in to save

axiomatization of arithmetic

Wikidata facts

Instance of: scientific theory
Named after: Arend Heyting

via Wikidata · CC0

Available in 5 languages

via Wikidata sitelinks · CC0