Second Wroclaw Logic Conference