1 - Büchi's monadic second order successor arithmetic. Decidable theories I
Siefkes, Dirk   /   Müller, Gert Heinz (1923-....) (Ed.)

Cote : [05 SIE 70]

2 - Deformation quantization modules
Kashiwara, Masaki (1947-....)   /   Schapira, Pierre (1943-....)

Cote : [67 KAS 12]

3 - Eléments de logique mathématique : théorie des modèles
Kreisel, Georg (1923-2015)   /   Krivine, Jean-Louis

Cote : [05 KRE 67]

4 - Langage PASCAL et logique du premier ordre. Tome 1 : Programmation en Pascal, prédicats, systèmes formels, fonctions récursives
Margenstern, Maurice

Cote : [77 MAR 89-1]

5 - Logique mathématique. 1 : calcul propositionnel, algèbres de Boole, calcul des prédicats
Cori, René   /   Krivine, Jean-Louis (1939-....) (Préface)   /   Lascar, Daniel (1942-....)

Cote : [05 COR 03-1]

6 - Logique moderne. Fascicule 2 : logique des propositions et des prédicats, tables de vérité et axiomatisation
Grize, Jean-Blaise (1922-2013)

Cote : [05 GRI 71-2]

7 - Mathematical logic
Monk, James Donald (1930-....)

Cote : [05 MON 76]

8 - Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkul der ersten Stufe
Surányi, János (1918-2008)

Cote : [05 SUR 59]

9 - Tableau systems for first order number theory and certain higher order theories
Toledo, Sue Ann (1940-....)

Cote : [05 TOL 75]

10 - The computational complexity of logical theories
Ferrante, Jeanne (1949-....)   /   Rackoff, Charles W. (1948-....)

Cote : [05 FER 79]