Includes bibliographical references and index.
OBNB doesn't sell books, but you may be able to find a copy at one of these websites:
Lectures on linear logic by A. S. Troelstra. ISBN 0937073776. Published by Center for the Study of Language and Information in 1992. Publication and catalogue information, links to buy online and reader comments.
