図書

不完全性定理と「命題の名前の自然な構築機能をもつ論理言語体系」の論理的関係の解明

Icons representing 図書

不完全性定理と「命題の名前の自然な構築機能をもつ論理言語体系」の論理的関係の解明

Call No. (NDL)
Y151-H06801001
Bibliographic ID of National Diet Library
000007001515
Material type
図書
Author
藁谷, 敏晴, 東京工業大学
Publisher
-
Publication date
1994-1995
Material Format
Paper
Capacity, size, etc.
-
NDC
-
View All

Notes on use

Note (General):

文部省科学研究費補助金研究成果報告書

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 Transcription
フカンゼンセイ テイリ ト 「 メイダイ ノ ナマエ ノ シゼン ナ コウチク キノウ オ モツ ロンリ ゲンゴ タイケイ 」 ノ ロンリテキ カンケイ ノ カイメイ
Author/Editor
藁谷, 敏晴, 東京工業大学
Author Heading
藁谷, 敏晴 ワラガイ, トシハル
Publication Date
1994-1995
Publication Date (W3CDTF)
1994
Extent
Additional Title
研究種目 一般研究(C)
Subject Heading
不完全性定理 フカンゼンセイテイリ
集合論 シユウゴウロン
定義 テイギ
出来事 デキゴト
命題に於いては個別と一般 メイダイニオイテハコベツトイツパン
出来事の名前 デキゴトノナマエ
知識表現 チシキヒヨウゲン
存在論 ソンザイロン