• 홈
  • intermediate logic

intermediate logic

propositional logic extending intuitionistic logic

en-US/ˌɪnɚˈmidiɪt ˈlɑd͡ʒɪk/
en-GB/ˌɪntəˈmiːdɪət ˈlɒd͡ʒɪk/

카테고리:

mathematical logic