1 - Elements of the theory of computation
Lewis, Harry R.   /   Papadimitriou, Christos H. (1949-....)

Cote : [77.9 LEW 80]

2 - L'analyse logique des langues naturelles (1968-1978) : anthologie préparée sous la direction de Frédéric Nef
Nef, Frédéric (1947-....) (Sous La Direction De)   /   Centre National de la Recherche Scientifique (Ed.)

Cote : [05 NEF 84]

3 - Logique contemporaine et formalisation
Martin, Roger (1920-1979)

Cote : [05 MAR 64]

4 - Tractatus logico-philosophicus
Wittgenstein, Ludwig (1889-1951)   /   Russell, Bertrand (1872-1970) (Collab.)   /   Ogden, Charles Kay (1889-1957) (Trad.)

Cote : [02.1 WIT 81]