本檔案並非來自中文維基百科,而是來自維基共享資源。請參閱維基共享資源上的詳細 ... Summary of the formal first-order (intuitionistic) natural deduction system ...
確定! 回上一頁