logical theorems appear in Oppenheimer and Zalta 1991.

• 逻辑定理出现在1991年奥本海默和Zalta。