ISBN-13: 9780521054164 / Angielski / Miękka / 2008 / 320 str.
ISBN-13: 9780521054164 / Angielski / Miękka / 2008 / 320 str.
A collection of expository and research articles derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory.