scientific article; zbMATH DE number 1301495

MaRDI QIDQ4246766zbMATH OpenFDO

Authors

Publication date 16 June 1999

zbMATH Keywords

Kyoto (Japan)Ordinal numbersProceedingsProof theoryRIMSSymposium

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 in general (including proof-theoretic semantics) (03F03)

Cited in

(5)

• scientific article; zbMATH DE number 440486 (Why is no real title available?)
• scientific article; zbMATH DE number 3961571 (Why is no real title available?)
• scientific article; zbMATH DE number 1187191 (Why is no real title available?)
• scientific article; zbMATH DE number 1555347 (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 Q4246766)