株式会社極東書店トップ ＞ 商品一覧 ＞ Lectures on Mathematical Logic, Volume II.
商品詳細
Lectures on Mathematical Logic, Volume II.
・ISBN 978-0-367-39858-3 paper GB£ 70.99
￥22,489.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
お気に入り
★★★
| 著者・編者 | Felscher, Walter, |
|---|---|
| シリーズ | Lecturers on Mathematical Logic |
| 出版社 | (CRC Press, UK) |
| 出版年月 | 2019 |
| ページ数 | 336 pp. |
| 言語 | ENG |
| ニュース番号 | ＜M25-11267＞ |
解説
In this volume, logic starts from the observation that in everyday arguments, as brought forward by say a lawyer, statements are transformed linguistically, connecting them in formal ways irrespective of their contents. Understanding such arguments as deductive situations, or "sequents" in the technical terminology, the transformations between them can be expressed as logical rules. The book concludes with the algorithms producing the results of Gentzen's midsequent theorem and Herbrand's theorem for prenex formulas.