Carol Karp. An algebraic proof of the Barwise compactness theorem. The syntax and semantics of infinitary languages

by Jon Barwise, Lecture notes in mathematics, no. 72 · 1 review · 1974

Reviewed by Journal Date Access
N. J. Cutland The Journal of Symbolic Logic 1974 Restricted

Metaphysics & Logic

Also by 72

Search PhilReviews for this title