|
 |
1. |
Klein, Felix (1849-1925) / Dover edition. / Dover Publications / 2004
|
 |
2. |
20XX
|
 |
3. |
1st ed. 2015. / 2015
|
 |
4. |
Springer-Verlag / cop. 1998
|
 |
5. |
International conference on theorem proving in higher order logics (21 ; 2008 ; Montreal) / 1st ed. 2008. / 2008
|
 |
6. |
Baker, Alan (1939-2018) / Cambridge University Press / 1994
|
 |
7. |
Baker, Alan (1939-2018) / C.U.P / 1999
|
 |
8. |
Baker, Alan (1939-2018) / 1990
|
 |
9. |
Baker, Alan (1939-2018) / Cambridge University Press / 1975, cop. 1975
|
 |
10. |
Bijlsma, A. / Mathematisch Centrum / 1978
|
|