Machine generated authority record

Work cat.: (arssjubce)12573: Porte, J., La logique matematique et le calcul mecanique., 1972.