Yazar
d rodding
4 cilt bulundu.
Cilt sonuçları
Logic and Machines: Decision Problems and Complexity
E. Börger, G. Hasenjaeger, D. Rödding · Springer
468 sayfa · 1984
Symbolic and mathematical Logic / Computer science / Machine theory / Computational complexity / Decision making
Arithmetische und hyperarithmetische Prädikate
D. Rödding · Westfälische Wilhelms-Universität Mn̈ster, Institut für mathematische Logik und Grundlagenforschung
Sayfa sayısı yok · 1971
Predicate calculus / Symbolic and mathematical Logic
Berechenbarkeit, Komplexität, Logik
E. Börger, D. Rödding · Vieweg
469 sayfa · 1985
Constructive mathematics / Symbolic and mathematical Logic