Heyting arithmetic ^{الإنجليزية} (Q3451851)

axiomatization of arithmetic ^{الإنجليزية}

اللغة	التسمية	الوصف	أسماء أخرى
العربية	لم تُضف التسمية	لا يوجد وصف
الإنجليزية	Heyting arithmetic	axiomatization of arithmetic

بيانات

Wikidata item ^{الإنجليزية}

٠ مرجع

named after ^{الإنجليزية}

Arend Heyting ^{الإنجليزية}

١ مراجع

Microsoft Academic ID ^{الإنجليزية}

١ مراجع

instance of ^{الإنجليزية}

١ مراجع

Freebase ID ^{الإنجليزية}

١ مراجع