TY - BOOK AU - Potdevin,Gérard TI - Logique et mathématique SN - 2-86850-028-5 PY - 1990/// CY - Paris PB - Quintette N1 - Бібліогр. : c. 63 ER -