Văn bản này: Lectures on logic and computation :