Proof and computations

Author(s)

• Schwichtenberg, Helmut
• Wainer, Stanley S.

Bibliographic Information

Proof and computations

Helmut Schwichtenberg, Stanley S. Wainer

（Perspectives in logic）

Association for Symbolic Logic : Cambridge University Press, c2012

Note

Includes bibliographical references and index

Details

• NCID: BB08096321
• ISBN:
  • 9780521517690
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: New York
• Pages/Volumes: xiii, 465 p.
• Size: 24 cm
• Parent Bibliography ID:
  • BA90341523