Author:
Mancosu Paolo,Galvan Sergio,Zach Richard
Publisher
Oxford University PressOxford
Reference99 articles.
1. A normalization-procedure for the first order classical natural deduction with full logical symbols,;Tsukuba Journal of Mathematics,1995
2. Church-Rosser property of a simple reduction for full first-order classical natural deduction,;Annals of Pure and Applied Logic,2003
3. Avigad, Jeremy and Richard Zach (2020), “The epsilon calculus,” in Stanford Encyclopedia of Philosophy, ed. by Edward N. Zalta, Fall 2020, https://plato.stanford.edu/archives/fall2020/entries/epsilon-calculus/.