Focusing on Gentzen-type proof theory, this volume presents a detailed overview of creative works by author Gaisi Takeuti and other twentieth-century logicians. The text explores applications of proof...
Proof Theory
- 作者： Gaisi Takeuti
- 出版社： Dover Publications
- 出版日期： 2013-02-20
- ISBN碼： 9780486490731
- 編號： 1001294883049847
$ 808 元
原價 950
-
$808