Research Catalog
Compiled labelled deductive systems : a uniform presentation of non-classical logics
- Title
- Compiled labelled deductive systems : a uniform presentation of non-classical logics / Krysia Broda [and others].
- Publication
- Baldock, Hertfordshire, England : Research Studies Press ; Philadelphia, PA : Institute of Physics Pub. ; Williston, VT : Distribution in North America, AIDC, [2004], ©2004.
Available Online
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Book/Text | Request in advance | QA76.9.L63 C658 2004 | Off-site |
Details
- Additional Authors
- Broda, Krysia, 1949-
- Description
- xx, 343 pages; 24 cm.
- Series Statement
- Studies in logic and computation series ; 10
- Uniform Title
- Studies in logic and computation ; 10.
- Subject
- Computer logic
- Bibliography (note)
- Includes bibliographical references (p. [327]-338) and index.
- ISBN
- 0863802966
- LCCN
- 2004005941
- OCLC
- ocm54767509
- SCSB-5212785
- Owning Institutions
- Columbia University Libraries