|
Proof theory
Kurt Schütte ; translation from the German by J.N. Crossley
|
書名 |
Proof theory |
著作者等 |
Schütte, K.
|
書名別名 |
Beweistheorie |
シリーズ名 |
Die Grundlehren der mathematischen Wissenschaften
|
出版元 |
Springer-Verlag |
刊行年月 |
1977 |
ページ数 |
xii, 302 p. |
大きさ |
25 cm |
ISBN |
0387079114
3540079114
|
NCID |
BA01358976
※クリックでCiNii Booksを表示
|
言語 |
英語 |
原文言語 |
ドイツ語 |
出版国 |
ドイツ |
この本を:
|
件が連想されています
|