Concerning the constructive interpretation of auxiliary formulas. I (Q5661484): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
Normalize DOI.
 
Property / DOI
 
Property / DOI: 10.1090/trans2/099/05 / rank
Normal rank
 
Property / DOI
 
Property / DOI: 10.1090/TRANS2/099/05 / rank
 
Normal rank

Latest revision as of 17:19, 30 December 2024

scientific article; zbMATH DE number 3394114
Language Label Description Also known as
English
Concerning the constructive interpretation of auxiliary formulas. I
scientific article; zbMATH DE number 3394114

    Statements

    Concerning the constructive interpretation of auxiliary formulas. I (English)
    0 references
    0 references
    1972
    0 references

    Identifiers