Cut elimination for a simple formulation of epsilon calculus
Saved in:
| Title: | Cut elimination for a simple formulation of epsilon calculus |
|---|---|
| Authors: | Mints, G.1 mints@csli.stanford.edu |
| Source: | Annals of Pure & Applied Logic. Mar2008, Vol. 152 Issue 1-3, p148-160. 13p. |
| Database: | Academic Search Ultimate |
| ISSN: | 01680072 |
|---|---|
| DOI: | 10.1016/j.apal.2007.11.008 |
