1 - Cours d'arithmétique
Serre, Jean-Pierre (1926-....)

Cote : [30 SER 70]

2 - Eine Termlogik mit Auswahloperator
Hermes, Hans (1912-2003)

Cote : [05 HER 65]

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

Cote : [05 HIL 1939]

4 - Term logic with choice operator
Hermes, Hans (1912-2003)

Cote : [05 HER 65]