ゲーデルのプログラムへのイデアルの応用

ゲーデルのプログラムへのイデアルの応用

Call No. (NDL): Y151-H17540110
Bibliographic ID of National Diet Library: 000009296971

Material type: 図書

Author: 松原洋, 名古屋大学 [著]

Publisher: [松原洋]

Publication date: 2005-2006

Material Format: Paper

Capacity, size, etc.: 168p

NDC: -

Notes on use

Note (General)：: 文部科学省科学研究費補助金研究成果報告書

Search by Bookstore

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.

Paper

Material Type: 図書
Title: ゲーデルのプログラムへのイデアルの応用
Title Transcription: ゲーデルノプログラムエノイデアルノオウヨウ
Author/Editor: 松原洋, 名古屋大学 [著]
Author Heading: 松原, 洋マツバラ, ヨウ
名古屋大学ナゴヤダイガク
Publication, Distribution, etc.: [松原洋]
Publication Date: 2005-2006
2007.5
Publication Date (W3CDTF): 2005
2006
Extent: 168p
Additional Title: 研究種目基盤研究(C)
Place of Publication (Country Code): JP
Text Language Code: jpn
Subject Heading: 公理的集合論コウリテキシュウゴウロン
NDLC: Y151
Note (General): 文部科学省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 17540110
Holding library: 国立国会図書館
Call No.: Y151-H17540110
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000009296971
http://id.ndl.go.jp/bib/000009296971
Bibliographic Record Category (NDL): 214