Рекомендовані теми у межах Вашого пошуку.
Показ 1 - 6 результатів із 6 для пошуку '', час виконання запиту: 0.01сек. Уточнити результати
  1. 1
    The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June 1981 /
    Матеріали конференцій Книга
    Опубліковано 1982
    Додати у Вибране
    Збережено в:
  2. 2
    The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. /
    Матеріали конференцій Книга
    Опубліковано 1980
    Додати у Вибране
    Збережено в:
  3. 3
    Intensional mathematics /
    Книга
    Опубліковано 1985
    Додати у Вибране
    Збережено в:
  4. 4
    Semantical investigations in Heyting's intuitionistic logic /
    Книга
    за авторством Gabbay, Dov M., 1945-
    Опубліковано 1981
    Додати у Вибране
    Збережено в:
  5. 5
    Projections of lawless sequences /
    Книга
    за авторством Hoeven, G. F. van der
    Опубліковано 1982
    Додати у Вибране
    Збережено в:
  6. 6
    Absoluteness of intuitionistic logic /
    Книга
    за авторством Leivant, Daniel Maurice Raphaël
    Опубліковано 1979
    Додати у Вибране
    Збережено в:
Інструменти для пошуку: Отримати RSS-стрічку – Відправити пошук е-поштою – Зберегти пошук