1 - Abstract sets and finite ordinals
Keene, Geoffrey Bourton

Cote : [08 KEE 61]

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

Cote : [05 RIE 67]

3 - Einführung in die Logistik : vorzüglich in den Modalkalkül
Becker, Oskar (1889-1964)

Cote : [05 BEC 51]

4 - Elemente der Schaltungsalgebra : Eine anschauliche, leichfassliche Einfuhrung
Weyh, Ulrich (1930-....)

Cote : [16 WEY 61]

5 - Elements of mathematical logic and set theory
Slupecki, Jerzy (1904-1987) (Ed.)   /   Borkowski, Ludwik (Ed.)   /   Wojtasiewicz, Olgierd (Trad.)

Cote : [05 SLU 67]

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

Cote : [77.9 LEW 80]

7 - Formal concept analysis : mathematical foundations
Ganter, Bernhard   /   Wille, Rudolf   /   Franze, Cornelia (Trad.)

Cote : [11 GAN 99]

8 - Grundlagen der Mathematik. Ester Band
Hilbert, David (1862-1943)   /   Bernays, Paul (1888-1977)

Cote : [05 HIL 1934]

9 - Logique mathématique
Pabion, Jean-François   /   Guillaume, Marcel (1928-2016) (Préface)

Cote : [05 PAB 76]

10 - Mathematical logic - Second edition
Ebbinghaus, Heinz-Dieter (1939-....)   /   Flum, Jörg   /   Thomas, Wolfgang (1947-....)

Cote : [05 EBB 94]