1. The semantics and proof theory of the logic of bunched implications
Author: Pym, David J.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
P88
2002
2. The semantics and proof theory of the logic of bunched implications
Author: By David J. Pym
Library: Library of Faculty Literature of University of Tehran (Tehran)
Subject: Logic, Symbolic and mathematical.
3. The semantics and proof theory of the logic of bunched implications
Author: by David J. Pym
Library: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
Subject: Logic, Symbolic and mathematical
Classification :
QA
,
9
,.
P88
,
2002
