1 - Automation in language translation and theorem proving : some applications of mathematical logic, Brussels, June 1968
Braffort, Paul (1923-....) (Ed.)   /   Scheepen, Van F. (Ed.)

Cote : [05 BRA 68]

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

Cote : [76 BEK 99]