1 - Direct and converse theorems : the elements of symbolic logicGradshtein, I. S. / Boddington, T. (Trad.)Cote : [05 GRA 63]
