Reverse mathematics : problems, reductions, and proofs

Author(s)

• Dzhafarov, Damir D.
• Mummert, Carl

Bibliographic Information

Reverse mathematics : problems, reductions, and proofs

Damir D. Dzhafarov, Carl Mummert

（Theory and applications of computability）

Springer, c2022

• :pbk

Note

Includes bibliographical references (p.459-472) and index

Details

• NCID: BD04637071
• ISBN:
  • 9783031113697
• Country Code: sz
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cham
• Pages/Volumes: xix, 488 p.
• Size: 24 cm
• Classification:
  • DC23 : 511.3
• Subject Headings:
  • LCSH : Reverse mathematics
  • LCSH : Computable functions
• Parent Bibliography ID:
  • BB04091064