Introduction to the metatheory of logical systems. Completeness, compactness, Loewenheim-Skolem, and undecidability theorems for first-order logic....
Introduction to the metatheory of logical systems. Completeness, compactness, Loewenheim-Skolem, and undecidability theorems for first-order logic....