図書

算術と計算の論理構造に関する研究

Icons representing 図書

算術と計算の論理構造に関する研究

Call No. (NDL)
Y151-H09440072
Bibliographic ID of National Diet Library
000007055803
Material type
図書
Author
田中, 一之, 東北大学
Publisher
-
Publication date
1997-1999
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
著者 : 田中, 一之, 1955- タナカ, カズユキ, 1955- ( 00541946 )Authorities
Publication Date
1997-1999
Publication Date (W3CDTF)
1997
Extent
Additional Title
研究種目 基盤研究(B)
Subject Heading
論理構造 ロンリコウゾウ
計算論 ケイサンロン
型理論 カタリロン
形式算術 ケイシキサンジユツ
2階算術 2カイサンジユツ
逆数学 ギヤクスウガク
限定算術 ゲンテイサンジユツ
ラムダ計算 ラムダケイサン