コンテンツへ移動
Proof theory 資料のプレビュー
閉じる資料のプレビュー
確認中…

Proof theory

著者: Gaisi Takeuti
出版: Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributor for the U.S.A. and Canada, Elsevier Science Pub. Co., 1987
シリーズ: Studies in logic and the foundations of mathematics, vol. 81
エディション/フォーマット:   書籍 : English : 2. edすべてのエディションとフォーマットを見る
データベース:WorldCat
評価:

(まだ評価がありません) 0 件のレビュー - 是非あなたから!

件名:
関連情報:

 

オフラインで入手

&AllPage.SpinnerRetrieving; この資料の所蔵館を検索中…

詳細

ドキュメントの種類: 図書
すべての著者/寄与者: Gaisi Takeuti
ISBN: 0444879439 9780444879431
OCLC No.: 476872494
注記: Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo, 1968
物理形態: 490 s. : ill.
シリーズタイトル: Studies in logic and the foundations of mathematics, vol. 81
責任者: Gaisi Takeuti

レビュー

ユーザーレビュー
GoodReadsのレビューを取得中…
DOGObooksのレビューを取得中…

タグ

まずはあなたから!

類似資料

関連件名:(2)

リクエストの確認

あなたは既にこの資料をリクエストしている可能性があります。このリクエストを続行してよろしければ、OK を選択してください。

リンクデータ


<http://www.worldcat.org/oclc/476872494>
library:oclcnum"476872494"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/476872494>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:bookEdition"2. ed."
schema:contributor
schema:datePublished"1987"
schema:exampleOfWork<http://worldcat.org/entity/work/id/2406532>
schema:inLanguage"en"
schema:name"Proof theory"
schema:publisher
schema:publisher
schema:url
schema:workExample

Content-negotiable representations

ウインドウを閉じる

WorldCatにログインしてください 

アカウントをお持ちではないですか?簡単に 無料アカウントを作成することができます。.