scientific article; zbMATH DE number 3030932

zbMath0019.24102MaRDI QIDQ5770685

Gerhard Gentzen

Publication date: 1938

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Foundations, philosophy, logic

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05)

Related Items

On the fundamental conjecture of GLC, VI, Shallow confluence of conditional term rewriting systems