Research Output per year
Research Output 1976 2020
2000
Handbook of Recursive Mathematics [Review of: Y.L. Ershov, S.S. Goncharov (2000) Handbook of Recursive Mathematics]
Terwijn, S. A., 2000, In : Nieuw archief voor de wiskunde. sept. 2000Research output: Contribution to Journal › Book/Film/Article review › Academic › peer-review
1999
[Review of: First international workshop on hybrid logic (hylo '99).]
Marx, M. J., 1999, In : Logic Journal of the IGPL. 7, 5, p. 665-669Research output: Contribution to Journal › Book/Film/Article review › Professional
Book review of The classical Decision Problem [Review of: The classical Decision Problem]
Marx, M. J., 1999, In : Journal of Logic, Language and Information. 8, 4, p. 478-481Research output: Contribution to Journal › Book/Film/Article review › Professional