Substructural logics /

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.