scientific article

zbMATH Open1279.03031MaRDI QIDQ3007245

Matthias Baaz, Rosalie Iemhoff

Publication date: 21 June 2011

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

zbMATH Keywords

proof theory of the existence predicate in intuitionistic logicreference to partial terms

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (6)

Existence Proofs ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ On Rosser's Provability Predicate

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