Non-standard logics for automated reasoning - Smets, Philippe (London : Academic Press, 1988)
ncludes bibliographical references and index
Keywords: Logic, Symbolic and mathematical; Cataloging -- United Kingdom; Library materials -- United Kingdom -- Conservation and restoration