G.E · G. E. Sacks · G S · Gerald E.
title | media type | ISBN-13 | year of publica- tion | other author(s) | |
---|---|---|---|---|---|
Degrees of Unsolvability. | Paperback | 978-0-691-07941-7 | 1963 | ||
Higher Recursion Theory | Hardcover | 978-1-107-16843-5 | 2017 | ||
Higher Recursion Theory | Taschenbuch | 978-3-642-05742-7 | 2010 | ||
Higher Recursion Theory | Hardcover | 978-0-387-19305-2 | 1991 | ||
Higher Recursion Theory | Gebunden | 978-3-540-19305-0 | 1990 | ||
Logic and Computer Science: Lectures | Paperback | 978-0-387-52734-5 | 1990 | S. Homer · R. A. Platek · A. Scedrov · A. Nerode | |
Logic and Computer Science: Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo held at Montecatini Terme, ... Mathematics / C.I.M.E. Foundation Subseries) | Taschenbuch | 978-3-540-52734-3 | 2009 | Steven Homer · Anil Nerode · Richard A. Platek · Andre Scedrov | |
Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989 | " | 978-3-540-52772-5 | 1990 | Klaus Ambos-Spies · Gert H. Müller | |
Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984 | " | 978-3-540-15673-4 | 2009 | Heinz-Dieter Ebbinghaus · Gert H. Müller | |
Saturated Model Theory | Hardcover | 978-981-283-381-5 | 2009 | ||
Saturated model theory | Paperback | 978-0-8053-8380-5 | 1972 | ||
Saturated model theory | " | 978-0-8053-8381-2 | 1972 |
Benjamin Cummings · Cambridge University Press · Princeton University Press · Springer · World Scientific Publishing Company