An Herbrand theorem for prenex formulas of LJ.
Open Access
- 1 April 1976
- journal article
- Published by Duke University Press in Notre Dame Journal of Formal Logic
- Vol. 17 (2) , 263-266
- https://doi.org/10.1305/ndjfl/1093887533
Abstract
No abstract availableThis publication has 0 references indexed in Scilit: