深山 徹

Cut-Elimination の方法(9) 

大阪府立工業高等専門学校紀要 29 83-93 1995年  

Cut-Elimination の方法(8) 

大阪府立工業高等専門学校紀要 28 103-114 1994年  

Cut-Eliminationの方法(7) 

大阪府立工業高等専門学校紀要 27,119-128 1993年  

The method of Cut-Elimination(7) 

Bulletin of Osaka Prefectural College of Technology 27,119-128 1993年  

Cut-Elimination の方法(6) 

大阪府立工業高等専門学校紀要 26,91-100 1992年  

The method of Cut-Elimination(6) 

Bulletin of Osaka Prefectural College of Technology 26,91-100 1992年  

Cut-Elimination の方法(5) 

大阪府立工業高等専門学校紀要 25,81-89 1991年  

The method of Cut-Elimination(5) 

Bulletin of Osaka Prefectural College of Technology 25,81-89 1991年  

Cut-Eliminationの方法(4) 

大阪府立工業高等専門学校紀要 24,113-118 1990年  

The method of Cut-Elimination(4) 

Bulletin of Osaka Prefectural College of Technology 24,113-118 1990年  

Cut-Elimination の方法(3) 

大阪府立工業高等専門学校紀要 23,93-100 1989年  

The method of Cut-Elimination(3) 

Bulletin of Osaka Prefectural College of Technology 23,93-100 1989年  

Cut-Eliminationの方法(2) 

大阪府立工業高等専門学校紀要 22,69-74 1988年  

The method of Cut-Elimination(2) 

Bulletin of Osaka Prefectural College of Technology 22,69-74 1988年  

Cut-Elimination の方法((]G0001[)) 

大阪府立工業高等専門学校紀要 21,91-100 1987年  

The method of Cut-Elimination((]G0001[)) 

Bulletin of Osaka Prefectural College of Technology 21,91-100 1987年  

多値論理の研究状況について 

京都大学数理解析研究所講究緑 455,260-280 1982年  

On the study of many-valued logics 

455,260-280 1982年