Location & Availability for: Compiled labelled deductive systems : a

 Staff view

You must be logged in to Tag Records

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

Krysia Broda ... [et al.].

Book Cover
Names: Broda, Krysia,
Published: Baldock, Hertfordshire, England : Research Studies Press ; c2004.
Series: Studies in logic and computation ; 10.
Topics: Computer logic.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Loading Holdings Data ... Loading

Location & Availability for: Compiled labelled deductive systems : a