TY - GEN AU - KLEENE AU - LARGEAULT TI - Logique mathématique T2 - U PY - 1971/// CY - Paris PB - Armand Colin KW - PHILOSOPHIE KW - LOGIQUE ER -