1 - A theory of formal deducibility
Curry, Haskell Brooks (1900-1982)

Cote : [05 CUR 50]

2 - Algebraic methods of mathematical logic
Rieger, Ladislav (1916-1963)   /   Basch, Michal (Trad.)

Cote : [05 RIE 67]

3 - Algebraic systems
Mal'cev, Anatolii Ivanovich (1909-1967)   /   Seckler, Bernard D. (Trad.)   /   Doohvskoy, A. P. (Trad.)

Cote : [11 MAL 73]

4 - An essay in modal logic
Wright, Georg Henrik Von (1916-2003)

Cote : [05 VON-WRI 51]

5 - Aspects of mathematical logic, Centro internazionale matematico estivo III Ciclo - Varenna, 9-17 Settembre 1968
Casari, Ettore (1933-....)

Cote : [05 CAS 69]

6 - Begriffsschrift und andere Aufsätze
Frege, Gottlob (1848-1925)   /   Angelelli, Ignacio (Ed.)   /   Husserl, Edmund (1859-1938) (Collab.)   /   Scholz, Heinrich (1884-1956) (Collab.)

Cote : [02.5 FRE 64]

7 - Cabal Seminar 76-77 : proceedings, Caltech-UCLA logic seminar 1976-1977
Kechris, Alexander Sotirios (1946-....) (Ed.)   /   Moschovakis, Yiannis Nicolas (1940-....) (Ed.)

Cote : [05 KEC 78]

8 - Cambridge Summer school il mathematical logic : held in Cambridge/England, August 1 - 21, 1971
Mathias, Adrian Richard David (1944-....) (Ed.)   /   Rogers, Hartley Jr. (1926-....) (Ed.)

Cote : [05 MAT 73]

9 - Computer models of thought and language
Schank, Roger C. (1946-....) (Ed.)   /   Colby, Kenneth Mark (1920-....) (Ed.)

Cote : [75.9 SCH 73]

10 - Contributions to mathematical logic : proceedings of the logic colloquium, Hannover, 1966
Schmidt, H. Arnold (Ed.)   /   Schütte, K. (1909-1998) (Ed.)   /   Thiele, Helmut J. (Ed.)

Cote : [05 SCHM 68]