Personensuche
X
?
Computation and Proof Theory; Lecture Notes in Mathematics ,
12
Undecidability and recursive equivalence II:
, In:
?
15
Proof theory
Grundlehren der mathematischen Wissenschaften ; 225
Exemplar:
Zentrale:E02 a mat 026.5/56