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 ... [et al.].
- Publication
- Baldock, Hertfordshire, England : Research Studies Press ; Philadelphia, PA : Institute of Physics Pub. ; Williston, VT : Distribution in North America, AIDC, c2004.
Available Online
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Book/text | Request in advance | JSE 05-1306 | Offsite |
Details
- Additional Authors
- Broda, Krysia, 1949-
- Description
- xx, 343 p.; 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.
- Call Number
- JSE 05-1306
- ISBN
- 0863802966
- LCCN
- 2004005941
- OCLC
- 54767509
- vendor
- Title
- Compiled labelled deductive systems : a uniform presentation of non-classical logics / Krysia Broda ... [et al.].
- Imprint
- Baldock, Hertfordshire, England : Research Studies Press ; Philadelphia, PA : Institute of Physics Pub. ; Williston, VT : Distribution in North America, AIDC, c2004.
- Series
- Studies in logic and computation series ; 10Studies in logic and computation ; 10.
- Bibliography
- Includes bibliographical references (p. [327]-338) and index.
- Connect to:
- Added Author
- Broda, Krysia, 1949-
- Research Call Number
- JSE 05-1306