The Semantics and Proof Theory of the Logic of Bunched Implications (Applied Logic Series)
Edition: 1 edition
Publisher: Springer
Published: July 31, 2002
Language: eng
Format: Hardcover
Number of pages: 338
ISBN-13: 9781402007453
Subjects: Mathematical logic; Mathematical theory of computation; Mathematical And Symbolic Logic; Mathematics; Science/Mathematics; Logic; Mathematics / Logic; Philosophy / Logic; Logic, Symbolic and mathematical; Logic, Symbolic and mathematic