Compiled Labelled Deductive Systems
Subtitle: A Uniform Presentation of Non-Classical Logics (Studies in Logic and Computation)
Contributors: Krysia Broda (Editor)
Publisher: Institute of Physics Publishing; Research Studies Press; Institute of Physics Pub.; Distribution in North America, AIDC
Published: November 30, 2004
Language: eng
Format: Hardcover
Number of pages: 343
ISBN-13: 9780863802966
Subjects: Computer Programming; General Theory of Computing; Science; Computer Bks - Languages / Programming; Computers - Languages / Programming; Science/Mathematics; Computers; Programming - General; General; Computer logic