Proof theory.
概要
| 作品: | 13 作品在 8 項出版品 8 種語言 | |
|---|---|---|
書目資訊
Conditional and preferential logics[electronic resource] :proof methods and theorem proving /
by:
(書目-語言資料,印刷品)
2-D quadratic maps and 3-D ODE systems[electronic resource] :a rigorous approach /
by:
(書目-語言資料,印刷品)
Proofs and fundamentals[electronic resource] :a first course in abstract mathematics /
by:
(書目-語言資料,印刷品)
Where is the Godel-point hiding[electronic resource] :Gentzen's consistency proof of 1936 and his representation of constructive ordinals /
by:
(書目-語言資料,印刷品)
主題