| 出版情報 |
Berlin ; New York : Springer-Verlag , 1975 |
| 大きさ |
viii, 383 p. ; 25 cm |
| 別書名 |
異なりアクセスタイトル:Proof Theory Symposion |
| 一般注記 |
Includes bibliographies |
| 著者標目 |
*ISILC Proof Theory Symposium (1974 : Kiel)
Schütte, K. (Kurt)
Diller, Justus
Müller, G. H. (Gert Heinz), 1923-
International Summer Institute and Logic Colloquium (1974 : Kiel)
|
| 件 名 |
LCSH:Proof theory -- Congresses
全ての件名で検索
LCSH:Schütte, K. (Kurt) -- Bibliography
全ての件名で検索
|
| 分 類 |
LCC:QA3
LCC:QA9.54
DC:510/.8 s
DC:511/.3
|
| 本文言語 |
英語,ドイツ語 |
| 書誌ID |
TB10053396 |
| ISBN |
354007533X |
| NCID |
BA00214336
|
| 巻冊次 |
: gw ; ISBN:354007533X
: u.s. ; ISBN:038707533X
|
