TY - BOOK AU - Liard,Louis TI - Les logiciens anglais CY - Paris : PB - Germer Bailliere ER -