Theories of Truth for Countable Languages Which Conform to Classical Logic. NS 2020, 27 (1).