Many-valued logics
By: Leonard Bolc, Piotr Borowik.
Contributors: Borowik, Piotr.
Publisher: Springer-Verlag
Published: 1992
Place of publication: Berlin; New York
Language: eng
Subjects: Many-valued logic
Notes: Includes bibliographical references and indexes.
Table of contents: title: v. 1. Theoretical foundations; title: 2. Automated reasoning and practical applications.