header
cover

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

Cote : [05 CUR 50]

cover

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

Cote : [05 RIE 67]

cover

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

Cote : [11 MAL 73]

cover

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

Cote : [05 VON-WRI 51]

cover

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]

cover

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]

cover

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]

cover

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

Cote : [75.9 SCH 73]

cover

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]