Set Theoretical Logic-The Algebra of Models
Walter Felscher · Medical Entomology and Zoology · 2000
1. Lattices and Boolean Algebras 2. Algebras, Homomorphisms and Subalgebras 3. Separation Theorems for Boolean Algebras 4. Filters, Ideals and More on (PIA) 5. Term Algebras 6. The Logic of Equations 7. Free Algebras and Equational Classes 8. Equational Equivalences and Clones 9. Polynomials and Normal Forms 10. Classical Propositional Logic 11. Open Predicate Logic 12. Quantifier Logic: Languages and Structures 13. Substitution 14. Henkin Constants, Skolem Functions and Normal Forms 15. Algorithms for Consequence 16. Lowenheim-Skolem Theorems 17. Elementary Classes