Ribbon proofs : a proof system for the logic of bunched implications :: Julian Michael Lewis Bean :: Queen Mary University of London, Department of Computer Science 2006 :: OBNB, the Open British National Bibliography

Publication Data

Title Ribbon proofs : a proof system for the logic of bunched implications
Author Julian Michael Lewis Bean
Contributor
Publisher Queen Mary University of London, Department of Computer Science
Publication date 2006
Publication location London
Language English

Descriptive Notes

"Submitted for the degree of Doctor of Philosophy, Queen Mary, University of London, 2006" -- T.p.

Topics

Logic, Symbolic and mathematical

Catalogue Data

OBNB ID GBB135874
ISBN 10 n/a
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 511.3

ISBD

P1053 111 p.
P1042 Includes bibliographical references.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Ribbon proofs : a proof system for the logic of bunched implications by Julian Michael Lewis Bean. Published by Queen Mary University of London, Department of Computer Science in 2006. Publication and catalogue information, links to buy online and reader comments.