TY - GEN AU - Serrus, Charles TI - Traite de logique PY - 1945/// CY - Paris PB - Aubier N1 - Contine bibliografie ER -