1
by Kozen, Dexter C.
Published 1977
Springer Berlin Heidelberg
Subjects: '; ...Computation by Abstract Devices...

2
by Kozen, Dexter C.
Published 1997
Springer New York
Subjects: '; ...Computation by Abstract Devices...

3
by Kozen, Dexter C.
Published 2006
Springer London
Subjects: '; ...Computation by Abstract Devices...