You must know the basic set theory and logic and some basic techniques for writing proofs from Mathematical Methods or equivalent.
You must be happy manipulating strings of characters.