Skip to content

Home Practice Lessons About

Cover of The semantics and proof theory of the logic of bunched implications

The semantics and proof theory of the logic of bunched implications

by David J. Pym

Symbolic and mathematical LogicLogic, symbolic and mathematical

Writing a summary for young readers…

For young readers

Book data: Open Library

Book Glossary · bookglossary.comA nonprofit resource from Dover Public Library and the Tuscarawas County Literacy Coalition.