An Herbrand theorem for prenex formulas of LJ

DOI10.1305/ndjfl/1093887533zbMath0313.02016OpenAlexW2068502240MaRDI QIDQ1219803

Kenneth A. Bowen

Publication date: 1976

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093887533

Mathematics Subject Classification ID

Intermediate logics (03B55)

Related Items (1)

EPSILON THEOREMS IN INTERMEDIATE LOGICS

This page was built for publication: An Herbrand theorem for prenex formulas of LJ