Computer Science Logic door H. Kleine Buening & Hans Kleine Buning