この商品を友人に教える:
Structural Proof Theory Negri, Sara (University of Helsinki)
価格
¥ 11.670
税抜
遠隔倉庫からの取り寄せ
発送予定日 年11月17日 - 年12月3日
クリスマスプレゼントは1月31日まで返品可能です
Negri, Sara (University of Helsinki) の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加
他の形態でも入手可能：
Structural Proof Theory
Negri, Sara (University of Helsinki)
Structural proof theory studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to structural proof theory and a work of research that will be of interest to specialists. A special feature is a downloadable computer program for developing proofs interactively.
276 pages, black & white illustrations
| メディア | 書籍 Paperback Book (ソフトカバーで背表紙を接着した本) |
| リリース済み | 2008年7月10日 |
| ISBN13 | 9780521068420 |
| 出版社 | Cambridge University Press |
| ページ数 | 276 |
| 寸法 | 229 × 155 × 18 mm · 416 g |
| 言語 | 英語 |
