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).


  1. Cote: 50346. En rayon: classement par collection. Exclu du prÍt.