G. Salzer: "Excursions of a computer scientist into the realm of logic"; Talk: Seminarvortrag, Brno, Czech Republic (invited); 2002-10-29.