HERMES-IR HITOTSUBASHI UNIVERSITY

HERMES-IR : Research & Education Resources >
030 Department Bulletin Papers = 本学紀要論文 >
一橋論叢 = The Hitotsubashi review >
061巻3号 (1969.3) >

Please use this identifier to cite or link to this item: https://doi.org/10.15057/2533

Files in This Item:

File Description SizeFormat
ronso0610300440.pdf405KbAdobe PDF
Download
Title: ゲンツェンの定理と高階の述語論理
Other Titles: Gentzen's Theorem and Predicate Logic of Higher Order
Authors: 永島, 孝
Issue Date: 1-Mar-1969
Publisher: 日本評論社
Citation: 一橋論叢
Volume: 61
Issue: 3
Start Page: 322
End Page: 329
Description: 論文タイプ||研究ノート
Language: jpn
DOI: 10.15057/2533
Text Version: publisher
Appears in Collections:061巻3号 (1969.3)

Items in HERMES-IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Valid XHTML 1.0! DSpace Software Copyright © 2002-2006 MIT and Hewlett-Packard - Feedback