Labelled deductive systems

Author(s)

• Gabbay, Dov M.

Bibliographic Information

Labelled deductive systems

Dov M. Gabbay

（Oxford logic guides, 33）

Oxford University Press , Clarendon, 1996-

• v. 1

Note

Includes bibliographical references and index

Details

• NCID: BA28531925
• ISBN:
  • 0198538332
• LCCN: 96025507
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: New York,Oxford
• Pages/Volumes: v.
• Size: 24 cm
• Classification:
  • LCC : BC71
  • DC20 : 160
• Subject Headings:
  • LCSH : Logic
• Parent Bibliography ID:
  • BA00017765