Some further information about non-Euclidean geometry:
Our handout on the parallel postulate and logic.
A few other statements equivalent to the Parallel Postulate:
introduction ("neutral geometry" means the first four postulates)
one of the most common visualizations
Escher pictures that are hyperbolic: one two
miscellaneous hyperbolic geometry links