Proof theory.

概要

作品:	4 作品在 4 項出版品 1 種語言

書目資訊

Conditional and preferential logics : proof methodsand theorem proving by: Pozzato, Gian Luca (書目-語言資料,印刷品)

How to read and do proofs : an introduction to mathematical thought processes by: Solow, Daniel (書目-語言資料,印刷品)

Mathematical analysis and proof by: Stirling, David S. G. (1947-) (書目-電子資源)

Handbook of proof theory by: Buss, Samuel R. (書目-電子資源)