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