Title: Labelled non-classical logics
First published: 2000
Subjects: Nonclassical mathematical logic, Computer Programming, Mathematical logic, Mathematical theory of computation, Mathematical And Symbolic Logic, Philosophy Of Mathematics, Mathematics, Computer Books: Operating Systems, Artificial Intelligence - General, Logic, Computers-Artificial Intelligence - General, Mathematics / Logic, Philosophy / Logic, Philosophy-Logic, Mathematics, philosophy
LC classification: QA9 .V54 2000