1 - Automatic syntactic analysis
Foster, John Michael

Cote : [77.9 FOS 70]

2 - Induktive Logik und Wahrscheinlichkeit
Carnap, Rudolf (1891-1970)   /   Stegmüller, Wolfgang (1923-1991) (Ed.)

Cote : [05 CAR 59]

3 - La machine à traduire
Delavenay, Emile (1905-....)

Cote : [00 DEL 59]

4 - Méthodes numériques
Kuntzmann, Jean (1912-1992)

Cote : [79 KUN 69]

5 - The lambda calculus. Its syntax and semantics
Barendregt, Hendrik Pieter (1947-....)

Cote : [05 BAR 81]

6 - Truth, syntax and modality : proceedings of the Temple University conference on alternative semantics the 29th and 30th of December, 1970
Leblanc, Hugues (1924-1999) (Ed.)

Cote : [05 LEB 73]