Language: English

Jump To : Overview Titles Subjects

Proof theory.

Overview

Works:	15 works in 15 publications in 15 languages

Titles

Reductive Logic and Proof-search = Proof Theory, Semantics, and Control by: (Electronic resources)

Structural proof theory by: (Electronic resources)

Proofs and fundamentals = a first course in abstract mathematics / by: (Electronic resources)

Mathematical analysis and proof by: (Electronic resources)

2-D quadratic maps and 3-D ODE systems = a rigorous approach / by: (Electronic resources)

Set Theory = Boolean-Valued Models and Independence Proofs by: (Electronic resources)

Adapting Proofs-as-Programs = The Curry-Howard Protocol / by: (Electronic resources)

Frege's notations = what they are and how they mean / by: (Electronic resources)

Proof theory = the first step into impredicativity / by: (Electronic resources)

Applied Proof Theory: Proof Interpretations and Their Use in Mathematics by: (Electronic resources)

Subjects

Mathematics- Philosophy.

Preuve, Théorie de la.

Curry-Howard isomorphism.

Lambda calculus.

Algebra, Boolean.

Logic Design.

Programming Techniques.

Mathematical Logic and Foundations.

Logics and Meanings of Programs.

Mathematical Logic and Formal Languages.

History of Mathematical Sciences.

Combinatorics.

Frege, Gottlob,

Logique symbolique et mathématique.

Set theory.

Functional programming (Computer science)

Mathematics.

Logic, Symbolic and mathematical.

Forms, Quadratic.

Abstract data types (Computer science)

Mathematical analysis.

Reductie (filosofie)

MATHEMATICS / Infinity

Proof theory.

Differential equations, Linear.

Mathematics, general.

Educational Philosophy.

Operator Theory.

Logica.

Bifurcation theory.

Algebra.

Education.

Mathematics Education.

Models and Principles.

Functional Analysis.

Popular Science in Mathematics/Computer Science/Natural Science/Technology.

Differentiable dynamical systems.

Proof theory- History.

Mathematical notation.

Software Engineering/Programming and Operating Systems.

Bewijstheorie.

Categories (Philosophy)

Numerical Analysis.

Approximations and Expansions.

Computer Science.

MATHEMATICS / Logic