Title: Mathematical logic and programming languages
Subjects: Symbolic and mathematical Logic, Programming languages (Electronic computers), Logic, symbolic and mathematical, Computer programming, Congresses