Cover Image

Substructural logics /

Show other versions (1)
Bibliographic Details
Other Authors: Schroeder-Heister, Peter Joseph, 1953-, Došen, Kosta
Format: Book
Language:English
Published: Oxford : New York : Clarendon Press ; Oxford University Press, [1993]
Series:Studies in logic and computation ; 2.
Subjects:
Computer science.
Logic, Symbolic and mathematical.
Description
Physical Description:x, 386 pages ; 24 cm.
Bibliography:Includes bibliographical references and index.
ISBN:0198537778 (acid-free paper)