Lógica formalde Richard C. JeffreyEdiciones (1)Lógica formal (1986)EUNSA. EDICIONES UNIVERSIDAD DE NAVARRA, S.A. · ISBN 9788431309497Más obras de Richard C. JeffreyComputability and logicFFormal logicFormal logicThe logic of strategy