Предлагаемые темы внутри своего поиска.
Отображение 1 - 13 результаты of 13 для поиска '', время запроса: 0.01сек. Отмена результатов
  1. 1
    Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9-10, 1990 : proceedings /
    Материалы конференции ‌
    Опубликовано 1992
    Добавить в Избранное
    Сохранить в:
  2. 2
    Beweistheorie.
    ‌
    по Schutte, K. (Kurt)
    Опубликовано 1960
    Добавить в Избранное
    Сохранить в:
  3. 3
    Proof theory /
    ‌
    по Takeuti, Gaisi, 1926-
    Опубликовано 1975
    Добавить в Избранное
    Сохранить в:
  4. 4
    Proof theory /
    ‌
    по Schütte, K. (Kurt)
    Опубликовано 1977
    Добавить в Избранное
    Сохранить в:
  5. 5
    Proof theory : an introduction /
    ‌
    по Pohlers, Wolfram
    Опубликовано 1989
    Добавить в Избранное
    Сохранить в:
  6. 6
    The unprovability of consistency : an essay in modal logic /
    ‌
    по Boolos, George
    Опубликовано 1979
    Добавить в Избранное
    Сохранить в:
  7. 7
    On the shape of mathematical arguments /
    ‌
    по Gasteren, A. J. M. (Antonetta J. M.) van, 1952-
    Опубликовано 1990
    Добавить в Избранное
    Сохранить в:
  8. 8
    Recursive program schemes : semantics and proof theory /
    ‌
    по Roever, W.-P. de
    Опубликовано 1976
    Добавить в Избранное
    Сохранить в:
  9. 9
    Absoluteness of intuitionistic logic /
    ‌
    по Leivant, Daniel Maurice Raphaël
    Опубликовано 1979
    Добавить в Избранное
    Сохранить в:
  10. 10
    Proof theory of modal logic /
    ‌
    Опубликовано 1996
    Добавить в Избранное
    Сохранить в:
  11. 11
    Analysis : with an introduction to proof /
    ‌
    по Lay, Steven R., 1944-
    Опубликовано 1990
    Добавить в Избранное
    Сохранить в:
  12. 12
    Axiomatising the logic of computer programming /
    ‌
    по Goldblatt, Robert
    Опубликовано 1982
    Добавить в Избранное
    Сохранить в:
  13. 13
    Combinators, -terms and proof theory.
    Диссертация ‌
    по Stenlund, Soren
    Опубликовано 1972
    Добавить в Избранное
    Сохранить в:
Инструменты поиска: RSS-поток – Отправить результаты поиска по Email – Сохранить запрос