Detalls del llibre
A collection of expository and research articles derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory.
Llegir més - ISBN13 9780521054164
- ISBN10 0521054168
- Pàgines 320
- Any Edició 2008
- Fecha de publicación 21/01/2008
- Idioma Alemany, Francès



