系统Z中的范式和插入定理
계통Z중적범식화삽입정리
  • 国家社科期刊
    哲学研究 철학연구
    Philosophical Researches
    1999年 12期 74~78 ,共null页

    张清宇

    장청우

    范式;子公式;系统Z;插入式;经典命题逻辑;原子;公理系统;重言式;析取;真值表 範式;子公式;繫統Z;插入式;經典命題邏輯;原子;公理繫統;重言式;析取;真值錶
    범식;자공식;계통Z;삽입식;경전명제라집;원자;공리계통;중언식;석취;진치표


    원문보기 원문다운로드 사이트로이동
저자의 최근 논문