Franz Kurfeß

• Parallelism in Logic