Proof theory.

Why prove it again? = alternative proofs in mathematical practice / by: (書目-電子資源)

Space in weak propositional proof systems by: (書目-電子資源)

A model-theoretic approach to proof theory by: (書目-電子資源)

Axiomatic thinking.. I by: (書目-電子資源)

Writing proofs in analysis by: (書目-電子資源)

Conceptions and consequences of mathematical argumentation, justification, and proof by: (書目-電子資源)

R-calculus.. III,. Post three-valued logic by: (書目-電子資源)

The logic of provability / by: (書目-語言資料,印刷品)

An accompaniment to higher mathematics / by: (書目-語言資料,印刷品)

Proof theory : = an introduction / by: (書目-語言資料,印刷品)

Complexity of proofs and their transformations in axiomatic theories / by: (書目-語言資料,印刷品)

Analysis : = with an introduction to proof / by: (書目-語言資料,印刷品)

Proofs and fundamentals : = a first course in abstract mathematics / by: (書目-語言資料,印刷品)

Conjecture and proof / by: (書目-語言資料,印刷品)

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

Learning to reason : = an introduction to logic, sets and relations / by: (書目-語言資料,印刷品)

Reductive logic and proof-search : = proof theory, semantics, and control / by: (書目-語言資料,印刷品)

Logic for concurrency and synchronisation by: (書目-語言資料,印刷品)

Set Theory = Boolean-Valued Models and Independence Proofs by: (書目-語言資料,印刷品)

Reductive Logic and Proof-search = Proof Theory, Semantics, and Control by: (書目-語言資料,印刷品)

Adapting Proofs-as-Programs = The Curry-Howard Protocol / by: (書目-語言資料,印刷品)

Applied Proof Theory: Proof Interpretations and Their Use in Mathematics by: (書目-語言資料,印刷品)

Proof theory = the first step into impredicativity / by: (書目-語言資料,印刷品)

Utilizing problem structure in planning = a local search approach / by: (書目-語言資料,印刷品)

Logic for concurrency and synchronisation by: (書目-語言資料,印刷品)

Explanation and proof in mathematics = philosophical and educational perspectives / by: (書目-語言資料,印刷品)

Logical foundations of proof complexity / by: (書目-語言資料,印刷品)

2-D quadratic maps and 3-D ODE systems = a rigorous approach / by: (書目-電子資源)

Conditional and preferential logics = proof methods and theorem proving / by: (書目-語言資料,印刷品)

Frege's notations = what they are and how they mean / by: (書目-電子資源)

Mathematical analysis and proof by: (書目-電子資源)

Where is the Godel-point hiding = Gentzen's consistency proof of 1936 and his representation of constructive ordinals / by: (書目-電子資源)

Problems and proofs in numbers and algebra by: (書目-電子資源)

Proof patterns by: (書目-電子資源)

Gentzen's centenary = the quest for consistency / by: (書目-電子資源)

Statistical learning with sparsity : = the lasso and generalizations / by: (書目-語言資料,印刷品)

Understanding mathematical proof / by: (書目-語言資料,印刷品)

The nuts and bolts of proofs = an introduction to mathematical proofs / by: (書目-電子資源)

Mathesis universalis, computability and proof by: (書目-電子資源)

Theoremus = a student's guide to mathematical proofs / by: (書目-電子資源)

Arnon Avron on semantics and proof theory of non-classical logics by: (書目-電子資源)

The legacy of Kurt Schutte by: (書目-電子資源)

Ordinal analysis with an introduction to proof theory by: (書目-電子資源)