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 - Computer models of thought and language
Schank, Roger C. (1946-....) (Ed.)   /   Colby, Kenneth Mark (1920-....) (Ed.)

Cote : [75.9 SCH 73]

3 - Introduction to the mathematics of language study
Brainerd, Barron

Cote : [94 BRA 71]

4 - Mathematical structures of language
Harris, Zellig Sabbettai (1909-1992)

Cote : [77.9 HAR 68]

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

Cote : [76 BEK 99]