scientific article; zbMATH DE number 1187191

MaRDI QIDQ3840398zbMATH OpenFDO

Authors

Publication date 11 August 1998

zbMATH Keywords

Kyoto (Japan)ProceedingsProof theoryReverse mathematicsSymposium

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proof theory and constructive mathematics (03Fxx)

Recommendations

• scientific article; zbMATH DE number 1995232
• scientific article; zbMATH DE number 50517
• scientific article; zbMATH DE number 4197982
• scientific article; zbMATH DE number 3961571
• scientific article; zbMATH DE number 4045704
• scientific article; zbMATH DE number 1793836
• scientific article; zbMATH DE number 500028
• Reverse mathematics and completeness theorems for intuitionistic logic
• scientific article; zbMATH DE number 1301495
• scientific article; zbMATH DE number 3961570

Cited in

(7)

• Advances in mathematical logic. Dedicated to the memory of Professor Gaisi Takeuti, SAML 2018. Selected, revised contributions based on the presentations at the symposium, Kobe, Japan, September 18--20, 2018
• scientific article; zbMATH DE number 1188745 (Why is no real title available?)
• scientific article; zbMATH DE number 50517 (Why is no real title available?)
• scientific article; zbMATH DE number 1301495 (Why is no real title available?)
• scientific article; zbMATH DE number 500042 (Why is no real title available?)
• scientific article; zbMATH DE number 1149459 (Why is no real title available?)
• scientific article; zbMATH DE number 1793836 (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 Q3840398)