scientific article; zbMATH DE number 7307076

MaRDI QIDQ5149136zbMATHFDO

Authors Serena delli

Publication date 6 February 2021

zbMATH Keywords

proof theorycombinatorial proofssyntax-free formalisms

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Structure of proofs (03F07)

Cited in

(7)

• Tests and Proofs for Enumerative Combinatorics
• On the existence of n but not n + 1 easy combinators
• Making proofs without Modus Ponens: An introduction to the combinatorics and complexity of cut elimination
• Towards Hilbert's 24th Problem: Combinatorial Proof Invariants
• In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs
• scientific article; zbMATH DE number 66612 (Why is no real title available?)
• On the number of steps in proofs

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5149136)