ゲーデルと20世紀の論理学 (ロジック)

Notes on use

Related materials as well as pre- and post-revision versions

Search by Bookstore

This page shows libraries in Japan other than the National Diet Library that hold the material.

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

CiNii Research
Search Service
Paper
You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.
Check the holdings of this book

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: ゲーデルと20世紀の論理学 (ロジック)
Title Transcription: ゲーデルト 20セイキノロジック
Author/Editor: 田中一之編
Author Heading: 田中, 一之タナカ, カズユキ
https://ci.nii.ac.jp/author/DA10709116
Publication, Distribution, etc.: 東京大学出版会
Publication Date: 2006.7-2007.7
Publication Date (W3CDTF): 2006
Size: 22cm
Alternative Title: Gödel and logic in the 20th century
ゲーデルと20世紀の論理学
ゲーデルと20世紀の論理学ロジック
Place of Publication (Country Code): ja
Target Audience: 一般
Note (General): ゲーデル生誕100年を記念して刊行
欧文タイトルは標題紙裏による
Related Material: 不完全性定理と算術の体系
https://cir.nii.ac.jp/crid/1130000793809909120
集合論とプラトニズム
https://cir.nii.ac.jp/crid/1130000794982837504
ゲーデルの20世紀
https://cir.nii.ac.jp/crid/1130282270883884544
完全性定理とモデル理論
https://cir.nii.ac.jp/crid/1130282271365622656
Related Material (URI): https://ci.nii.ac.jp/ncid/BA77788892#entity
Data Provider (Database): 国立情報学研究所 : CiNii Research
Original Data Provider (Database): CiNii Books
https://ci.nii.ac.jp/books
NCID: https://ci.nii.ac.jp/ncid/BA77788892 : BA77788892