Jump to main content

yr 〜
yr

Search results 5

Proof-theoretic studies of the correspondence of modal logic and classical logic

Proof-theoretic studies of the correspondence of modal logic and classical logic
Paper博士論文
Hirohiko Kushida [著][Hirohiko Kushida][2006]<UT51-2006-S560>
National Diet Library

海上保安大学校研究報告 Part 2 理工学系

海上保安大学校研究報告 Part 2 理工学系
PaperDigital雑誌雑誌タイトル
海上保安大学校 編海上保安大学校1988-<Z16-590>
Available onlineNational Diet Library
  •  
  •  
  •  
  •  
  •  
    •  

CARLS series of advanced study of logic and sensibility vol. 5 (2011)

CARLS series of advanced study of logic and sensibility vol. 5 (2011)
Paper図書
渡辺茂 編著Centre for Advanced Research on Logic and Sensibility the Global COE Program, Keio University2012.2<M121-B90>
National Diet Library
  • Contents...lassical logic Hirohiko Kushida 著 Kant on the duality of intu...

CARLS series of advanced study of logic and sensibility vol.2(2008)

CARLS series of advanced study of logic and sensibility vol.2(2008)
Paper図書
渡辺茂 編著Keio University Center for Advanced Research on Logic and Sensibility2009.3<M121-B63>
National Diet LibraryOther Libraries in Japan
  • Contents...lict resources Hirohiko Kushida 著

CARLS series of advanced study of logic and sensibility vol.4(2010)

CARLS series of advanced study of logic and sensibility vol.4(2010)
Paper図書
渡辺茂 編著Keio University Centre for Advanced Research on Logic and Sensibility2011.3<M121-B79>
National Diet LibraryOther Libraries in Japan
  • Contents...odel sentences Hirohiko Kushida 著 James Sully and the develop...

Reached to the end of result.

RSS