Compiled labelled deductive systems : a uniform presentation of non-classical logics

Author(s)

• Broda, Krysia

Bibliographic Information

Compiled labelled deductive systems : a uniform presentation of non-classical logics

Krysia Broda ... [et al.]

（Studies in logic and computation, 10）

Research Studies Press , Institute of Physics Pub. , Distribution in North America, AIDC, c2004

Note

Includes bibliographical references (p. [327]-338) and index

Details

• NCID: BA75397908
• ISBN:
  • 0863802966
• LCCN: 2004005941
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Baldock, Hertfordshire, England,Philadelphia, PA,Williston, VT
• Pages/Volumes: xx, 343 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.9.L63
  • DC22 : 005.1/01/5113
• Subject Headings:
  • LCSH : Computer logic
• Parent Bibliography ID:
  • BA18651603