超越的手法による有限モデル理論の研究とそのLachlan予想解決への応用

Notes on use

Search by Bookstore

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: 図書
Title: 超越的手法による有限モデル理論の研究とそのLachlan予想解決への応用
Title Transcription: チョウエツテキシュホウニヨルユウゲンモデルリロンノケンキュウトソノ Lachlan ヨソウカイケツエノオウヨウ
Author/Editor: 坪井明人, 筑波大学 [著]
Author Heading: 坪井, 明人, 1955- ツボイ, アキト, 1955- ( 00654038 )Authorities
筑波大学ツクバダイガク ( 00265365 )Authorities
Publication, Distribution, etc.: [坪井明人]
Publication Date: 2003-2005
2006.4
Publication Date (W3CDTF): 2003
2005
Extent: 26枚
Additional Title: 研究種目基盤研究(C)
Place of Publication (Country Code): JP
Text Language Code: jpn
eng
Subject Heading: 自然数 / モデル / ペアノ公理系 / 再帰的 / 同型 / 定義可能シゼンスウ / モデル / ペアノコウリケイ / サイキテキ / ドウケイ / テイギカノウ
NDLC: Y151
Note (General): 文部科学省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 15540104
Holding library: 国立国会図書館
Call No.: Y151-H15540104
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000008381205
http://id.ndl.go.jp/bib/000008381205
Bibliographic Record Category (NDL): 214