A form of herbrand's theorem
From MaRDI portal
Publication:5539744
DOI10.1002/MALQ.19690150704zbMATH Open0157.33501OpenAlexW1990537232MaRDI QIDQ5539744FDOQ5539744
Authors: Theodore Hailperin
Publication date: 1969
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19690150704
Cited In (2)
This page was built for publication: A form of herbrand's theorem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5539744)