Title: Mathematical interpretation of formal systems
Subjects: Symbolic and mathematical Logic