Английская Википедия:Decidable sublanguages of set theory: история изменений

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Выбор версий: отметьте версии страницы, которые вы хотите сравнить, и нажмите Enter или кнопку ниже.
Пояснения: (текущ.) — отличия от текущей версии; (пред.) — отличия от предшествующей версии; м — малые изменения.

25 февраля 2024

  • текущ.пред. 22:1022:10, 25 февраля 2024‎ EducationBot обсуждение вклад‎ 1859 байт +1859‎ Новая страница: «{{Английская Википедия/Панель перехода}} {{Notability|date=May 2021}} In mathematical logic, various sublanguages of set theory are decidable.<ref>Cantone, D., E. G. Omodeo and A. Policriti, "Set Theory for Computing. From Decision Procedures to Logic Programming with Sets," Monographs in Computer Science, Springer, 2001.</ref><ref>[http://portal.acm.org/citation.cfm?id=120986.120991&coll=GUID...»
Источник — http://wikihandbk.com/wiki/Английская_Википедия:Decidable_sublanguages_of_set_theory