Proof Theory

前表紙
Courier Corporation, 2013/01/01 - 490 ページ
This comprehensive monographis a cornerstone in the area ofmathematical logic and relatedfields. Focusing on Gentzen-typeproof theory, the book presents adetailed overview of creative works by the author and other20th-century logicians that includes applications of prooftheory to logic as well as other areas of mathematics.Reprint of the North Holland, Amsterdam, 1987 edition.
 

レビュー - レビューを書く

レビューが見つかりませんでした。

他の版 - すべて表示

多く使われている語句

書誌情報