Bounded arithmetic

Author(s)

• Buss, Samuel R.

Bibliographic Information

Bounded arithmetic

Samuel R. Buss

（Studies in proof theory, 3）

Bibliopolis, c1986

Note

Bibliography: p. [215]-216

Includes index

Details

• NCID: BA01439105
• ISBN:
  • 8870881504
• Country Code: it
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Napoli
• Pages/Volumes: 221 p.
• Size: 24 cm
• Classification:
  • LCC : QA9.54
  • DC19 : 511.3
  • NDC7 : 410.12
  • NDC7 : 116.3
• Subject Headings:
  • LCSH : Proof theory
• Parent Bibliography ID:
  • BA01439003