An Algebraic Proof of the Barwise Compactness Theorem.by Carol Karp; Jon BarwiseCutland · Association for Symbolic Logic1974PDF209 KB