Title: Formal logic
Subjects: First-order logic, Textbooks, Logic, Mathematische Logik, Einfuhrung