コンテンツへ移動
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
エディション/フォーマット:   book_printbook : 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のレビューを取得中…

タグ

まずはあなたから!

類似資料

リクエストの確認

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

リンクデータ


<http://www.worldcat.org/oclc/476872494>
library:oclcnum"476872494"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
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:isPartOf
schema:name"Proof theory"
schema:publication
<http://www.worldcat.org/title/-/oclc/476872494#PublicationEvent/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>
rdf:typeschema:PublicationEvent
schema:location
schema:location
schema:location
schema:organizer
schema:organizer
schema:startDate"1987"
schema:publisher
schema:publisher
schema:workExample
wdrs:describedby

Content-negotiable representations

ウインドウを閉じる

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

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