Computerising Mathematical Text
San Diego : North Holland
InSiekmann, J. (ed.), Logic and Computation in the 20th century HHL, pp. 87-140
Part of book or chapter of book
Display more detailsDisplay less details
Siekmann, J. (ed.), Logic and Computation in the 20th century HHL
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.