Constructive Negations and Paraconsistency
            
                Trends in Logic
Publisher: Springer
Published: 2008
ISBN-13: 9781402068669