Բեռնվում է…
Recursively enumerable sets and degrees : A study of computable functions and computably generated sets /
Պահպանված է:
Հիմնական հեղինակ: | Soare, Robert Irving, 1940- |
---|---|
Ձևաչափ: | Գիրք |
Լեզու: | English |
Հրապարակվել է: |
Berlin ; New York :
Springer-Verlag,
1987.
|
Շարք: | Perspectives in mathematical logic
|
Խորագրեր: | |
Ցուցիչներ: |
Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
Նմանատիպ նյութեր
-
Computability /
: Weihrauch, Klaus, 1943-
Հրապարակվել է: (1987) -
Computations in higher types /
: Moldestad, Johan, 1946-
Հրապարակվել է: (1977) -
Recursiveness /
: Eilenberg, Samuel
Հրապարակվել է: (1970) -
Set theory and hierarchy theory : A memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : [Proceedings] /
Հրապարակվել է: (1976) -
General recursion theory : An axiomatic approach /
: Fenstad, Jens Erik
Հրապարակվել է: (1980)