Novak's result by Henkin's method
From MaRDI portal
Publication:4044570
DOI10.4064/fm-64-3-329-333zbMath0293.02047OpenAlexW817744164MaRDI QIDQ4044570
Publication date: 1969
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/214079
This page was built for publication: Novak's result by Henkin's method