View in EDS HTML Full Text PDF Full Text

Herbrand complexity and the epsilon calculus with equality.

Saved in:
Bibliographic Details
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.
Description
ISSN:09335846
DOI:10.1007/s00153-023-00877-3