scientific article; zbMATH DE number 3375474

MaRDI QIDQ5646882zbMATH OpenFDO

Authors Richard E. Vesley

Publication date 1972

Full work available at URL http://www.numdam.org/item?id=CM_1972__24_1_33_0, https://eudml.org/doc/89109

Mathematics Subject Classification ID

Intermediate logics (03B55) Intuitionistic mathematics (03F55)

Cites work

• scientific article; zbMATH DE number 3163761 (Why is no real title available?)
• scientific article; zbMATH DE number 3216177 (Why is no real title available?)
• scientific article; zbMATH DE number 3216998 (Why is no real title available?)
• scientific article; zbMATH DE number 3304914 (Why is no real title available?)
• scientific article; zbMATH DE number 3325567 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Intuitionistic analysis and Gödel's interpretation
• On weak completeness of intuitionistic predicate logic
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES

Cited in

(1)

• Theory of proofs (arithmetic and analysis)

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