scientific article; zbMATH DE number 5226271

zbMATH Open1134.03031MaRDI QIDQ5435631

Gilles Dowek

Publication date: 14 January 2008

Title of this publication is not available (Why is that?)

zbMATH Keywords

cut eliminationdeduction modulocandidates of reducibility

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Cut-elimination and normal-form theorems (03F05) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (6)

A Logical Introduction to Proof ⋮ Title not available (Why is that?) ⋮ Proofs 101 ⋮ An Introduction to Proofs with Set Theory ⋮ Introduction: Mathesis Universalis, Proof and Computation ⋮ Title not available (Why is that?)

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 Q5435631)