Filteren
Sorteren
2 resultaten
gebondenEngels9781402007453
31-7-2002
This is a monograph about logic. Specifically, it presents the mathe matical theory of the logic of bunched implications, BI: I consider Bl's proof theory, model theory and computation theory. Meer
paperbackEngels9789048160723
4-12-2010
This is a monograph about logic. Specifically, it presents the mathe matical theory of the logic of bunched implications, BI: I consider Bl's proof theory, model theory and computation theory. Meer