Semántica y lógica - Pottier, Bernard (Gredos, 1983)