Home >

news Help

Publication Information


Title
Japanese:非古典論理のシーケント計算 ― 完全性定理のシーケント計算による証明 
English: 
Author
Japanese: 鹿島亮.  
English: 鹿島亮.  
Language Japanese 
Journal/Book name
Japanese:アブストラクト集 
English: 
Volume, Number, Page         pp. 49-67
Published date Mar. 1999 
Publisher
Japanese: 
English: 
Conference name
Japanese:日本数学会 数学基礎論分科会 1999年度年会 
English: 
Conference site
Japanese:学習院大学 
English: 

©2007 Tokyo Institute of Technology All rights reserved.