Herbrand schemes for first-order logic.
Saved in:
| Title: | Herbrand schemes for first-order logic. |
|---|---|
| Authors: | Afshari, Bahareh1, bahareh.afshari@gu.se, Enqvist, Sebastian2, sebastian.enqvist@philosophy.su.se, Leigh, Graham E.1, graham.leigh@gu.se |
| Source: | Archive for Mathematical Logic; Nov2025, Vol. 64 Issue 7/8, p1007-1076, 70p |
| Database: | Applied Science & Technology Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
Be the first to leave a comment!
