LANGAGE LOGIQUE DEMONSTRATIONS ET VERITE MATHEMATIQUE - CONDAMINE, MARCEL ([S.N] : EDITIONS AGUER (3, s, 1996)
Keywords: MATHEMATICS; MATHEMATICAL LOGIC