Algebra of proofs

Author(s)

• Szabo, M. E.

Bibliographic Information

Algebra of proofs

M. E. Szabo

（Studies in logic and the foundations of mathematics, v. 88）

North-Holland Pub. Co. , sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1978

Note

Bibliography: p. 278-284

Includes indexes

Details

• NCID: BA07564358
• ISBN:
  • 0720422868
• LCCN: 77000706
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Amsterdam ; New York,New York
• Pages/Volumes: xii, 297 p.
• Size: 23 cm
• Classification:
  • LCC : QA9.54
  • DC : 511/.3
• Subject Headings:
  • LCSH : Proof theory
  • LCSH : Categories (Mathematics)
  • LCSH : Combinatory logic
• Parent Bibliography ID:
  • BA00099329