نتائج البحث

A short proof of Glivenko theorems for intermediate predicate logics

• Authors : Espíndola, Christian, 1984

Subjects: Glivenko’s theorem; Negative translations; Double negation shift

• Source: Archive for mathematical logic. 52(7-8):823-826

تفاصيل العنوان

Partiality and Choice: Foundational Contributions

• Authors : Carlström, Jesper, 1973;

Subjects: MATHEMATICS; MATEMATIK

تفاصيل العنوان