Jump to main content
図書

可算モデルの個数が有限となる理論の研究

Icons representing 図書

可算モデルの個数が有限となる理論の研究

Call No. (NDL)
Y151-H11640100
Bibliographic ID of National Diet Library
000007066754
Material type
図書
Author
坪井, 明人, 筑波大学
Publisher
-
Publication date
1999-2000
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- ( 00654038 )Authorities
Publication Date
1999-2000
Publication Date (W3CDTF)
1999
Extent
Additional Title
研究種目 基盤研究(C)
Subject Heading
可算モデル カサンモデル
ペアノの公理 ペアノノコウリ
一階論理式 イチカイロンリシキ
定義可能性 テイギカノウセイ