Church-Rosser property of a simple reduction for full first order classical natural deduction, submitted (0)

by Y Andou