A GENERALIZATION OF LINDENBAUM'S THEOREM FOR PREDICATE CALCULI

DOI10.1002/MALQ.19840300905zbMath0559.03006OpenAlexW2159206565MaRDI QIDQ3347852

Konrad Schultz

Publication date: 1984

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19840300905

zbMATH Keywords

Bernays' substitution

Mathematics Subject Classification ID

Classical first-order logic (03B10)

This page was built for publication: A GENERALIZATION OF LINDENBAUM'S THEOREM FOR PREDICATE CALCULI