Proof theory.
概観
| 著作: | 13 作品に 8 出版物中に 8 言語 | |
|---|---|---|
タイトル
Conditional and preferential logics[electronic resource] :proof methods and theorem proving /
…で:
(言語・文字資料 (印刷物))
2-D quadratic maps and 3-D ODE systems[electronic resource] :a rigorous approach /
…で:
(言語・文字資料 (印刷物))
Proofs and fundamentals[electronic resource] :a first course in abstract mathematics /
…で:
(言語・文字資料 (印刷物))
Where is the Godel-point hiding[electronic resource] :Gentzen's consistency proof of 1936 and his representation of constructive ordinals /
…で:
(言語・文字資料 (印刷物))
主題