Title: Logical foundations of computer science
Subjects: Congresses, Symbolic and mathematical Logic, Computer science, Computers, congresses, Electronic data processing, Logic, symbolic and mathematical