ようこそ
ゲスト
さん
ログイン
OPAC
その他
ヘルプ
入力補助
English
横断検索
図書館サービス
電子リソースを探す
シラバス掲載図書(品川)
シラバス掲載図書(越中島)
図書館所蔵雑誌リスト
図書新着案内
ベストリーディング
MyLibrary
CLOSE
このページのリンク
コピー
他の検索サイト
CiNii Books
国立国会図書館サーチ
Google
Google Books
Google Scholar
CLOSE
»
Beweistheorie / von Kurt Schütte
(
Die Grundlehren der mathematischen Wissenschaften
;
Bd. 103
)
所蔵情報を非表示
配架場所
巻 次
請求記号
資料番号
原簿番号
状 態
ISBN
予約
指定図書
仮想書架
応用数学(越)
410.8/G 1/103
50000092745
92745
仮想書架
仮想書架
書誌詳細を非表示
出版情報
Berlin : Springer , 1960
大きさ
x, 355 p ; 24 cm
一般注記
Includes bibliography
著者標目
*Schütte, K. (Kurt)
件 名
LCSH:
Proof theory
分 類
LCC:
QA9
DC:
510.1
本文言語
ドイツ語
書誌ID
TB10054741
NCID
BA10627682
類似資料
1
The theory of probability : an inquiry into the logical and mathematical foundations of the calculus of probability / by Hans Reichenbach ; English translation by Ernest H. Hutten and Maria Reichenbach
2
The foundations of mathematics : a study in the philosophy of science / Evert W. Beth
3
Introduction to mathematical thinking : the formation of concepts in modern mathematics / Friedrich Waismann ; with a foreword by Karl Menger ; translated from the German by Theodore J. Benac
: pbk.
4
Philosophy of mathematics and natural science / by Hermann Weyl
5
Combinators, λ-terms and proof theory / Sören Stenlund
6
Proof theory and intuitionistic systems / Bruno Scarpellini
: Germany,: U.S.
7
Extensional Gödel functional interpretation : a consistency proof of classical analysis / Horst Luckhardt
: u.s.,: gw
8
Model theory and its applications / by Ralph Kopperman
9
Saturated model theory / Gerald E. Sacks
: hard,: pbk
10
Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers / [By] H. Jerome Keisler