Title: Logic at Botik 89
Subjects: Electronic data processing, Computers, Congresses, Symbolic and mathematical Logic