Lingyuan Ye

有限提示されたヘイティング・プレトポスの概要と論理におけるその重要性。