scientific article; zbMATH DE number 50517

MaRDI QIDQ4000165zbMATH OpenFDO

Authors

Publication date 18 September 1992

zbMATH Keywords

Kyoto (Japan)ProceedingsProof theorySecond-order arithmeticSymposium

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Second- and higher-order arithmetic and fragments (03F35)

Cited in

(4)

• scientific article; zbMATH DE number 1187191 (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 1555347 (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 Q4000165)