1 - An algebraic approach to non-classical logics
Rasiowa, Helena (1917-1994)

Cote : [05 RAS 74]

2 - Handbook of paraconsistency
Béziau, Jean-Yves (Ed.)   /   Gabbay, Dov M. (1945-....) (Ed.)   /   Carnielli, Walter Alexandre (1952-....) (Ed.)

Cote : [05 BEZ 07]

3 - Mathematical logic
Kleene, Stephen Cole (1909-1994)

Cote : [05 KLE 67]

4 - Theorems and counterexamples in mathematics
Gelbaum, Bernard R.   /   Olmsted, John Meigs Hubbell (1911-1997)

Cote : [40 GEL 90]