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 - Logic, foundations of mathematics and computability theory : Part one of the proceedings of the fifth international congress of logic, methodology and philosophy of science, London, Ontario, Canada, 1975
Butts, Robert E. (1928-1997) (Ed.)   /   Hintikka, Jaakko (1929-2015) (Ed.)

Cote : [05 BUT 77]

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

Cote : [77.9 HAR 68]

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

Cote : [76 BEK 99]