Proof Theory

Editeur: Cambridge University Press
A collection of expository and research articles derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory.

En stock

A collection of expository and research articles derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory.
ISBN / EAN 9780521054164
Editeur Cambridge University Press