Предлагаемые темы внутри своего поиска.
Отображение 1 - 5 результаты of 5 для поиска '', время запроса: 0.02сек. Отмена результатов
  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-поток – Отправить результаты поиска по Email – Сохранить запрос