Q852732

From Wikidata
Jump to: navigation, search

proof theory (Q852732) [edit]

branch of mathematical logic [edit]

No aliases defined.
    [add]

    Statements

    Language Code Linked page
    العربية arwiki
    বাংলা bnwiki
    català cawiki
    Deutsch dewiki
    English enwiki
    español eswiki
    فارسی fawiki
    français frwiki
    עברית hewiki
    italiano itwiki
    日本語 jawiki
    한국어 kowiki
    Nederlands nlwiki
    polski plwiki
    português ptwiki
    русский ruwiki
    svenska svwiki
    Türkçe trwiki
    українська ukwiki
    文言 zh_classicalwiki
    中文 zhwiki
    [add]
    [add]
    [add]
    [add]
    [add]
    [add]