header
cover

2 - Differential geometry and control : Summer research Institute on differential geometry and control June 29 - July 19, 1997 University of Colorado, Boulder
Ferreyra, Guillermo Segundo (1953-....) (Ed.)   /   Hermes, Hans (1912-2003)   /   Gardner, Robert Brown (1939-1998) (Ed.)   /   Sussmann, Hector J. (Ed.)

Cote : [67.4 FER 99]

cover

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

Cote : [05 HER 65]

cover

4 - Einführung in die Verbandstheorie
Hermes, Hans (1912-2003)

Cote : [11 HER 55]

cover

5 - Enumerability decidability computability : an introduction to the theory of recursive functions
Hermes, Hans (1912-2003)   /   Herman, G. T. (Trad.)   /   Plassmann, O. (Trad.)

Cote : [05 HER 65]

cover

6 - Introduction to mathematical logic
Hermes, Hans (1912-2003)   /   Schmidt, Diana (Trad.)

Cote : [02 HER 73]

cover

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

Cote : [05 HER 65]