1 - Provability, complexity, grammars
Beklemishev, Lev Dmitrievich (1967-....)   /   Pentus, Mati Reinovich (1967-....)   /   Vereshchagin, Nikolai Konstantinovich (1958-....)

Cote : [76 BEK 99]

2 - Raisonnements divins : quelques démonstrations mathématiques particulièrement élégantes - 2e edition
Aigner, Martin (1942-....)   /   Hofmann, Karl Heinrich (1932-....) (Illustrations)   /   Ziegler, Günter M. (1963-....)   /   Puech, Nicolas (Trad.)

Cote : [03 AIG 06]