株式会社極東書店トップ ＞ 商品一覧 ＞ Mathematical Intuitionism : Introduction to Proof Theory.
商品詳細
Mathematical Intuitionism : Introduction to Proof Theory.
・ISBN 978-0-8218-4520-2 paper US$ 165.00
￥38,659.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
お気に入り
★★★
| 著者・編者 | Dragalin, A.G. / Mendelson, E., |
|---|---|
| シリーズ | Translations of Mathematical Monographs |
| 出版社 | (American Mathematical Society, US) |
| 出版年月 | 1988 |
| ページ数 | 228 pp. |
| 言語 | ENG |
| ニュース番号 | ＜M25-14352＞ |
解説
In the area of mathematical logic, a great deal of attention is now being devoted to the study of nonclassical logics. Nonclassical logics are used in the theory of computations, in information theory, and for the description of systems of heuristic programming. Intuitionistic logic is a particularly important nonclassical logic. The aim of this book is to present the most important methods of proof theory in intuitionistic logic and to acquaint the reader with the principal axiomatic theories based on intuitionistic logic. The exposition, accessible to a wide audience, requires only an introductory course in classical mathematical logic.