Biblioteca da Universidade do Minho

Your cart is empty.
Girard,, Jean-Yves Proof theory and logical complexity / Jean-Yves Girard

Proof theory and logical complexity / Jean-Yves Girard . - Napoli : Bibliopolis, 1987-19-- . - v. 25 cm . - (Studies in proof theory., Monographs) . -
vol.1 : cop. 1987. - 503 p.
88-7088-123-7 (v.1) (Encadernado)

510.6