Back to Search Start Over

Rules of proof: natural deduction

Authors :
Sara Negri
Jan von Plato
Publication Year :
2011
Publisher :
Cambridge University Press, 2011.

Subjects

Subjects :
Discrete mathematics
Proof complexity
Proof theory
Proof by contradiction
Calculus
Direct proof
Structural proof theory
Mathematical proof
Formal proof
Mathematics
Analytic proof

Details

Database :
OpenAIRE
Accession number :
edsair.doi...........91c50c99647dde0e356c95f97b67f0b4

Tools

Authors Abstract Subjects Details