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
Out of Stockthe 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.
