"Metatheory for truth-functional logic" - читать интересную книгу автора (Tim Button)