Author: Cignoli, Roberto; Joint Author: D'Ottaviano, Itala M. L.
Series#:7; Trends in Logic; Hardback; Book; Further Reading, Bibliography, Index
244 pages
Published: December 1999
Kluwer Academic Publishers Group
ISBN: 0792360095
This item non-returnable. All sales final. Order may not be canceled after confirmation.

This textbook states and proves theorems of many propositional logic and provides the reader with recent developments and trends, including applications to adaptive error-correcting binary search.