the semantics and proof theory of the logic of bunched implications
pym, david j.
the semantics and proof theory of the logic of bunched implications
Pym, David J. (Author) · springer · Physical Book
£ 178.02
Choose the list to add your product or create one New List
Go to My Wishliststhe semantics and proof theory of the logic of bunched implications
pym, david j.
Do you have a question about the book? Login to be able to add your own question.
