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 - An introduction to symbolic logic - Second revised edition
Langer, Susanne Katherina Knauth (1895-1985)

Cote : [05 LAN 53]

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

Cote : [05 BEC 51]

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

Cote : [16 WEY 61]

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

Cote : [05 SLU 67]

7 - Elements of symbolic logic
Reichenbach, Hans (1891-1953)

Cote : [05 REI 1947]

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

Cote : [77.9 LEW 80]

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

Cote : [11 GAN 99]

10 - Fundamentals of symbolic logic
Ambrose, Alice (1906-2001)   /   Lazrowitz, Morris (1909-2001)

Cote : [05 AMB 58]