(Q696433)

بيانات

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

٠ مرجع

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

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

١ مراجع

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

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

١ مراجع

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

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

residuated lattice ^{الإنجليزية}

١ مراجع

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

distributive lattice ^{الإنجليزية}

١ مراجع

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

cartesian closed category ^{الإنجليزية}

١ مراجع

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

finitely complete category ^{الإنجليزية}

١ مراجع

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

finitely cocomplete category ^{الإنجليزية}

١ مراجع

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

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

02443810n

١ مراجع

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

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

١ مراجع

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

Commons category ^{الإنجليزية}

Heyting Algebra

١ مراجع

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

studied by ^{الإنجليزية}

lattice theory ^{الإنجليزية}

١ مراجع

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

منطق رياضي

١ مراجع

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

وصلات الموقع

Marefa(٠ : لا وصلات)

ويكيبيديا(٥ وصلات)

مجلوبة من «https://data.marefa.org/w/index.php?title=Q696433&oldid=48865261»