دورية أكاديمية
Herbrand complexity and the epsilon calculus with equality
| العنوان: | Herbrand complexity and the epsilon calculus with equality |
|---|---|
| المؤلفون: | Miyamoto, KenjiAff1, IDs00153023008773_cor1, Moser, Georg |
| المصدر: | Archive for Mathematical Logic. 63(1-2):89-118 |
| قاعدة البيانات: | Springer Nature Journals |
Find this article in full text from Springer Verlag. 
Full Text Finder | تدمد: | 09335846 14320665 |
|---|---|
| DOI: | 10.1007/s00153-023-00877-3 |