Gives a comprehensive survey of logical research within and around arrow logic.

Arrow Logic and Multi-Modal Logic 1996, Center for the Study of Language and Information Publica Tion, Stanford, CA

ISBN-13: 9781575860251

Hardcover

Select
Arrow Logic and Multi-Modal Logic 1996, Center for the Study of Language and Information Publica Tion, New York

ISBN-13: 9781575860244

Trade paperback

Select