TY - BOOK AU - Liard, Louis, TI - Logique U1 - 161 CY - Paris PB - Masson, KW - LOGICA ER -