Brouwer–Heyting–Kolmogorov interpretation الإنجليزية (Q2383977)

من Marefa data
لا يوجد وصف
اللغة التسمية الوصف أسماء أخرى
العربية
لم تُضف التسمية
لا يوجد وصف
    الإنجليزية
    Brouwer–Heyting–Kolmogorov interpretation
    لا يوجد وصف
    • BHK interpretation
    • Brouwer-Heyting-Kolmogorov interpretation

    بيانات

    Wikidata item الإنجليزية
    ٠ مرجع
    named after الإنجليزية
    ١ مراجع
    Imported from Wikidata item الإنجليزية
    Arend Heyting الإنجليزية
    ١ مراجع
    Imported from Wikidata item الإنجليزية
    instance of الإنجليزية
    ١ مراجع
    Imported from Wikidata item الإنجليزية
    Freebase ID الإنجليزية
    ١ مراجع
    Imported from Wikidata item الإنجليزية