A. Marcja

• A guide to classical and modern model theory
• Logic Colloquium '82