Books

- 2008
- [Koh08] Kohlenbach U.

- 2006
- [Str06] Streicher T.

- 2003
- [GHK+03] Gierz G. et al.

- 1997
- [Ott97] Otto M.

- 1992
- [KR+92] Keimel K. et al.

- 1991
- [Str91] Streicher T.

Valid HTML 4.01!Valid CSS!