scientific article; zbMATH DE number 3296235

zbMATH Open0186.01003MaRDI QIDQ5579487FDOQ5579487

Authors: Gaisi Takeuti, Mariko Yasugi 

Publication date: 1968

Title of this publication is not available (Why is that?)

zbMATH Keywords

recursion theory, constructive mathematics

Cited In (2)

• Gentzen reduction revisited
• The machinery of consistency proofs

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