Herbrand complexity and the epsilon calculus with equality.
Saved in:
| Title: | Herbrand complexity and the epsilon calculus with equality. |
|---|---|
| Authors: | Miyamoto, Kenji1, kenji.miyamoto.xyz@gmail.com, Moser, Georg1 |
| Source: | Archive for Mathematical Logic; Feb2024, Vol. 63 Issue 1/2, p89-118, 30p |
| Database: | Applied Science & Technology Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
Be the first to leave a comment!
