Title: A treatise on many-valued logic
First published: 2000
Subjects: Many-valued logic
LC classification: QA9.45 .G67 2000