La Logique mathematique et le calcul mecanique - Porte, Jean (Instituto de Matematica, Universidad Nacional del Sur, 1972)