Web browser to read the tutorial and play with the examples online. (you have this)
Ready to reason? Proceed to the introduction.