Handbook of Proof Theory(Studies in Logic and the Foundations of Mathematics Vol.137) H 810 p. 98
Buss, S.R.
編
発行年月 |
1998年07月 |
---|
|
出版国 |
オランダ |
---|
言語 |
英語 |
---|
媒体 |
冊子 |
---|
装丁 |
hardcover |
---|
|
ページ数/巻数 |
810 p. |
---|
|
|
ジャンル |
洋書/理工学/数学/数学基礎論 |
---|
|
|
ISBN |
9780444898401 |
---|
|
商品コード |
0209840609 |
---|
|
|
|
本の性格 |
学術書 |
---|
|
|
|
商品URL
| https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0209840609 |
---|
内容
Contains articles covering a broad spectrum of proof theory, with anemphasis on its mathematical aspects. This book includes the central topicsof proof theory. It concludes with articles that deal with topics closelyrelated to computer science.