The words contained in this file might help you see if this file matches what you are looking for:

...Theepsiloncalculus georgmoser institut fur mathematische logik universitat munster http www math uni muenster de org staff moserg richard zach department of philosophy university calgary ucalgary ca rzach august csl vienna calculus whatistheepsiloncalculus the calculusisaformalizationoflogicwithoutquantiers but with operator if a x is formula then xa an term intuitively indenite description somexforwhicha true can replace axioms propositional tautologies equality schemata t predicate logic be embedded in whyshouldyoucare epsilon signicant historical interest origins proof theory hilbert s program alternative basis for fruitful theoretic research theorems and herbrand theorem without sequents substitution method yields functionals e g ya y n f interesting logical formalism trade structure suitable formalization choice inherentlyclassical see work bell devidi fitting mostowski expressive power other applications useofchoice functions provers hol isabelle linguistics anaphora outline rema...