Available with Digitized Contents Transmission Service
Find on the publisher's website
国立国会図書館デジタルコレクション
Available for viewing via the Digitized Contents Transmission Service for Individuals to official registered users of the NDL, who resides in Japan.
Search by Bookstore
Search by Bookstore
Bibliographic Record
You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.
- Material Type
- 博士論文
- Author/Editor
- 細野千春 [著]
- Author Heading
- 細野, 千春 ホソノ, チハル
- Alternative Title
- 充足可能性不可能性証明機について ジュウソク カノウセイ フカノウセイ ショウメイキ ニ ツイテ
- Degree grantor/type
- 京都大学
- Date Granted
- 昭和63年11月24日
- Date Granted (W3CDTF)
- 1988
- Dissertation Number
- 乙第6669号
- Degree Type
- 理学博士