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

Available in 5 languages

via Wikidata sitelinks · CC0