1 - A method in proofs of undefinability with applications to functions in the aritmetic of natural numbers
De Bouvère, Karel Louis

Cote : [02 BOU 59]

2 - Algèbre moderne : cours et problèmes, 425 exercices résolus - Quatrième tirage
Ayres, Franck Jr. (1901-1994)   /   Lobenberg, Michel (Trad.)

Cote : [02 AYR 83]

3 - Recherches arithmétiques
Gauss, Carl Friedrich (1777-1855)   /   Poullet-Delisle, Antoine Charles-Marcellin (1778-1849) (Trad.)

Cote : [30 GAU 89]

4 - Representations of integers as sums of squares
Grosswald, Emil (1912-1989)

Cote : [30 GRO 85]

5 - The emergence of number
Crossley, John Newsome (1937-....)

Cote : [01.1 CRO 80]

6 - Théorie des ensembles, logique, les entiers, bases du raisonnement mathématique, indices, familles indexées, Relations d'ordre, d'équivalence, ensembles finis, infinis, dénombrables
Pichon, Jacques

Cote : [03.5 PIC 89]