Table of Contents

1. Beth's theorem for propositional logic(12-18from Duality and Definability in First Order Logic)