Home >

news ヘルプ

論文・著書情報


タイトル
和文:古典論理と直観主義論理における命題結合子に関する研究 
英文:Studies on Propositional Connectives in Classical and Intuitionistic Logics 
著者
和文: 高木研斗.  
英文: Kento Takagi.  
種別
種別:学位論文(博士)論文要旨 
国名:Japan 
言語 English 
学位授与組織 Tokyo Institute of Technology 
報告番号 甲第12168号 
学位授与日 2022/09/22 
審査員  
ファイル   

©2007 Institute of Science Tokyo All rights reserved.