非標準論理研究の新しい展開

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: 非標準論理研究の新しい展開
Title Transcription: ヒヒョウジュンロンリケンキュウノアタラシイテンカイ
Author/Editor: 小野, 寛晰, 北陸先端科学技術大学院大学
Author Heading: 著者：小野, 寛晰, 1942- オノ, ヒロアキラ, 1942- ( 00061580 )Authorities
Publication Date: 1998-2000
Publication Date (W3CDTF): 1998
Extent: 冊
Additional Title: 研究種目基盤研究(B)
Subject Heading: 非標準論理ヒヒヨウジユンロンリ
様相論理ヨウソウロンリ
部分構造論理ブブンコウゾウロンリ
クリプキ完全性クリプキカンゼンセイ
ゲーム理論ゲームリロン
自然演繹体系シゼンエンエキタイケイ
NDLC: Y151
Note (General): 文部省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 10440027
Holding library: 国立国会図書館
Call No.: Y151-H10440027
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000007071260
http://id.ndl.go.jp/bib/000007071260
Bibliographic Record Category (NDL): 214