scientific article; zbMATH DE number 4195939

MaRDI QIDQ5202655zbMATH OpenFDO

Authors A. S. Troelstra

Publication date 1988

zbMATH Keywords

derived rulesintuitionistic formal systemsoperator-part of Feferman's theory of operators and classes

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50)

Recommendations

• A short introduction to intuitionistic logic
• Incompleteness in intuitionistic metamathematics
• scientific article; zbMATH DE number 4152338
• A Framework for Metamathematics
• Metamathematical properties of intuitionistic set theories with choice principles
• scientific article; zbMATH DE number 3900744
• scientific article; zbMATH DE number 3177714
• scientific article; zbMATH DE number 1344488
• scientific article; zbMATH DE number 1820020

Cited in

(2)

• A short introduction to intuitionistic logic
• scientific article; zbMATH DE number 3177714 (Why is no real title available?)

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