Открытая формула
Открытая формула Открытая формула содержит свободную переменную и не имеет значения истинности. Закрытая формула представляет собой пропозицию и может иметь […]
Вики
Mathematical logic stubs
Вики
Расширение новыми именами констант и функций
Расширение с помощью новых имен констант и функций Теория может быть расширена с помощью новых констант или имен функций при
Вики
Майкл Д. Морли
Майкл Д. Морли Майкл Дарвин Морли был американским математиком, почетным профессором Корнеллского университета. Его исследования были посвящены математической логике и