Title: Computer science logic
Subjects: Congresses, Informatik, Symbolic and mathematical Logic, Computer science, Logik, Mathematics, Matematikai logika, Konferencia, Formális logika, Informatique, Congrès, Mathématiques, Logique symbolique et mathématique, Logica E Semantica De Programacao, Computer logic
Places: Bern <1991>