Redirecting you to http://www.applications-of-logic.uni.wroc.pl/History