The Semantics and Proof Theory of the Logic of Bunched Implications
This monograph provides a thorough account of the model theory, proof theory and computational interProducator: SPRINGER PG
Contact
Categorie: Diverse
Subcategorie: Altele
Adresa web: karte.ro