Рекомендовані теми у межах Вашого пошуку.
Показ 1 - 5 результатів із 5 для пошуку '', час виконання запиту: 0.01сек. Уточнити результати
  1. 1
    Recursive analysis.
    Книга
    за авторством Goodstein, R. L. (Reuben Louis)
    Опубліковано 1961
    Додати у Вибране
    Збережено в:
  2. 2
    The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. /
    Матеріали конференцій Книга
    Опубліковано 1980
    Додати у Вибране
    Збережено в:
  3. 3
    Generalized recursion theory II : proceedings of the 1977 Oslo symposium /
    Матеріали конференцій Книга
    Опубліковано 1978
    Додати у Вибране
    Збережено в:
  4. 4
    First-order dynamic logic /
    Книга
    за авторством Harel, David, 1950-
    Опубліковано 1979
    Додати у Вибране
    Збережено в:
  5. 5
    Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznań-Kórnik, Poland, September 19-23, 1977 /
    Матеріали конференцій Книга
    Опубліковано 1977
    Додати у Вибране
    Збережено в:
Інструменти для пошуку: Отримати RSS-стрічку – Відправити пошук е-поштою – Зберегти пошук