Goal-directed proof theory

Author(s)

• Gabbay, Dov M.
• Olivetti, Nicola

Bibliographic Information

Goal-directed proof theory

by Dov M. Gabbay and Nicola Olivetti

（Applied logic series, v. 21）

Kluwer, c2000

Note

Includes bibliographical references (p. [255]-263) and index

Details

• NCID: BA48129327
• ISBN:
  • 0792364732
• LCCN: 00044401
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Dordrecht
• Pages/Volumes: x, 266 p.
• Size: 25 cm
• Classification:
  • LCC : QA9.54
  • DC21 : 511.3
• Subject Headings:
  • LCSH : Proof theory
• Parent Bibliography ID:
  • BA28718584