Richter, M.M. (ed) & Börger, E. (ed) & Oberschelp, W. (ed) & Schinzel, B. (ed) & Thomas, W. (ed)
Computation and proof theory ; Proceedings of the logic colloquium, held in Aachen, july 18-23, 1983; Part II.
- Springer Verlag, 1983.
- (
Lecture Notes in Mathematics
; 1104).
Cote: 50346. En rayon: classement par collection. Exclu du prêt.