Lectures on Logic and Computation: ESSLLI 2010, Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes (Lecture Notes in Computer Science)
Ein kompakter Sammelband aus den ESSLLI‑Konferenzen 2010 und 2011, der aktuelle Forschung zu formaler Logik, Berechenbarkeit und theoretischer Infor ...