Predicate-functors and the limits of decidability in logic

Aris Noah. Predicate-functors and the limits of decidability in logic. Notre Dame Journal of Formal Logic, 21(4):701-707, 1980. [doi]

Abstract

Abstract is missing.