DSpace
 

Osaka Prefecture University Repository >
C.Osaka Prefecture University College of Technology >
研究紀要 >
第23巻 >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10466/13321

Title: Cut Eliminationの方法 (3)
Other Titles: The method of Cut Elimination (3)
Authors: 深山, 徹
Author's alias: Miyama, Toru
Keywords: Consistency of set theory
Cut elimination in a logical system of Gentzen-type
Issue Date: 30-Oct-1989
Publisher: 大阪府立工業高等専門学校
Citation: 大阪府立工業高等専門学校研究紀要, 1989, 23, p.93-100
URI: http://hdl.handle.net/10466/13321
ISSN: 0387-365X
Appears in Collections:第23巻

Files in This Item:

File Description SizeFormat
2013700358.pdf509.07 kBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.