La Logique mathematique et le calcul mecanique - Porte, Jean (Notas de logica matematica ; 8, 1972)