1 - Proofs and refutations : the logic of mathematical discovery
Lakatos, Imre (1922-1974)   /   Worrall, John (Ed.)   /   Zahar, Elie (1937-....) (Ed.)

Cote : [05 LAK 76]

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

Cote : [05 CUR 50]

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

Cote : [05 RIE 67]

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

Cote : [11 MAL 73]

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

Cote : [05 VON-WRI 51]

6 - An introduction to symbolic logic - Second revised edition
Langer, Susanne Katherina Knauth (1895-1985)

Cote : [05 LAN 53]

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

Cote : [05 CAS 69]

8 - 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]

9 - 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]

10 - 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]