Proofs of the Compactness Theorem
From MaRDI portal
Publication:4914194
DOI10.1080/01445340.2011.618261zbMath1259.03012OpenAlexW4233522639WikidataQ58528888 ScholiaQ58528888MaRDI QIDQ4914194
Publication date: 18 April 2013
Published in: History and Philosophy of Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/01445340.2011.618261
Philosophical and critical aspects of logic and foundations (03A05) Classical propositional logic (03B05)
This page was built for publication: Proofs of the Compactness Theorem