scientific article

zbMath0993.03073MaRDI QIDQ2772902

J. W. Degen

Publication date: 16 September 2002

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

zbMATH Keywords

first-order logicsimple type theorytransitive closure logicfinitely valid sentencesinfinitary calculi

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Proof theory in general (including proof-theoretic semantics) (03F03)

This page was built for publication: