Proofs and computations

Author(s)

• Schwichtenberg, Helmut
• Wainer, S. S
• Association for Symbolic Logic

Bibliographic Information

Proofs and computations

Helmut Schwichtenberg, Stanley S. Wainer

（Perspectives in logic）

Cambridge University Press, 2012

Note

Includes bibliographical references and index

Details

• NCID: BB08096296
• ISBN:
  • 9780521517690
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cambridge
• Pages/Volumes: xiii, 465 p.
• Size: 25 cm
• Classification:
  • DC23 : 511.352
• Subject Headings:
  • LCSH : Computable functions
  • LCSH : Proof theory
• Parent Bibliography ID:
  • BA90341523