コンテンツへ移動
Formally self-referential propositions for cut free classical analysis and related system 資料のプレビュー
閉じる資料のプレビュー
確認中…

Formally self-referential propositions for cut free classical analysis and related system

著者: G Kreisel; G Takeuti
出版: Warzawa Państwowe Wydawnistwo Naukowe 1974
シリーズ: Dissertationes mathematicae, 118; Dissertationes mathematicae, 118
エディション/フォーマット:   書籍 : Englishすべてのエディションとフォーマットを見る
データベース:WorldCat
評価:

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

 

オフラインで入手

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

詳細

ドキュメントの種類: 図書
すべての著者/寄与者: G Kreisel; G Takeuti
OCLC No.: 246216180
物理形態: 55 S
シリーズタイトル: Dissertationes mathematicae, 118; Dissertationes mathematicae, 118
責任者: G. Kreisel; G. Takeuti

レビュー

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

タグ

まずはあなたから!
リクエストの確認

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

ウインドウを閉じる

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

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