scientific article; zbMATH DE number 4016902

MaRDI QIDQ3029009zbMATH OpenFDO

Authors Páll Eggerz

Publication date 1986

zbMATH Keywords

intuitionistic logicrealizabilityHeyting arithmetic

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50)

Cited in

(1)

• Extended bar induction in applicative theories

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