View in EDS HTML Full Text PDF Full Text

Herbrand schemes for first-order logic.

Saved in:

Bibliographic Details
Title:	Herbrand schemes for first-order logic.
Authors:	Afshari, Bahareh¹, bahareh.afshari@gu.se, Enqvist, Sebastian², sebastian.enqvist@philosophy.su.se, Leigh, Graham E.¹, 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.

Description
ISSN:	09335846
DOI:	10.1007/s00153-024-00959-w