Semantics and proof theory of the logic of bunched implications, the
Auteur :
Pym, David J.
Éditeur :
Pym, David J.
ISBN :
9789048160723
Date de publication :
3 déc. 2010
Dimensions :
23,4 x 15,6 x 1,8 cm
Poids :
481 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Bonaire, Saba