CONDAMINE, MARCEL LANGAGE LOGIQUE DEMONSTRATIONS ET VERITE MATHEMATIQUE / CONDAMINE, MARCEL - [S.N] : EDITIONS AGUER ، 1996 - 248 P Subjects--Topical Terms: MATHEMATICSMATHEMATICAL LOGIC Dewey Class. No.: 510.3 / C L