Yazar
w oberschelp
1 cilt bulundu.
Cilt sonuçları
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 : Part 2
M. M. Richter, E. Börger, W. Oberschelp, B. Schinzel, Thomas, W. · Springer London, Limited
492 sayfa · 1984
Computable functions / Proof theory / Mathematics / Symbolic and mathematical Logic / Mathematical Logic and Foundations