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 9780521414135
- ISBN10 052141413X
- Pàgines 320
- Any Edició 1993
- Fecha de publicación 11/02/1993
- Idioma Alemany, Francès



