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

Cote : [05 HER 65]

2 - Gruppen von linearen transformationen. Vierter Band
Waerden, Bartel Leendert Van Der (1903-1996)

Cote : [20 VAN-WAE 1935]

3 - Lectures on linear algebra
Gelfand, Izrail Moiseevitch (1913-2009)   /   Shenitzer, Abe (Trad.)

Cote : [14 GEL 61]

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

Cote : [05 HER 65]