Title: Logical foundations of computer science
Subjects: Ciência da computação (congressos), Programação lógica (congressos), Symbolic and mathematical Logic, Computer science, Congresses, Electronic data processing, Computers, congresses, Logic, symbolic and mathematical