Report copyright - The Compactness Theoremmat.msgsu.edu.tr/~dpierce/Talks/2015-Uni-Log/compactness...The compactness theorem forpropositional logic can be seen as a version of the theorem, known by the
Please pass captcha verification before submit form