I have written up some detailed lecture notes

**<a href="https://ncatlab.org/nlab/show/Introduction+to+Stable+homotopy+theory">Introduction to Stable homotopy theory</a>**

_<a href="https://ncatlab.org/nlab/show/Introduction+to+Stable+homotopy+theory+--+P">Prelude -- Classical homotopy theory</a>_ ([pdf](https://dl.dropboxusercontent.com/u/12630719/StableHomotopyTheory-P.pdf), 99 pages)

<a href="https://ncatlab.org/nlab/show/Introduction+to+Stable+homotopy+theory+--+1">Part 1 -- Stable homotopy theory</a>

* <a href="https://ncatlab.org/nlab/show/Introduction+to+Stable+homotopy+theory+--+1-1">Part 1.1 -- Sequential spectra</a> ([pdf](https://dl.dropboxusercontent.com/u/12630719/StableHomotopyTheory-1-1.pdf), 67 pages)

* <a href="https://ncatlab.org/nlab/show/Introduction+to+Stable+homotopy+theory+--+1-2">Part 1.2 -- Structured spectra</a> ([pdf](https://dl.dropboxusercontent.com/u/12630719/StableHomotopyTheory-1-2.pdf), 80 pages)

<a href="https://ncatlab.org/nlab/show/Introduction+to+Stable+homotopy+theory+--+2">Part 2 -- Adams spectral sequences</a> ([pdf](https://dl.dropboxusercontent.com/u/12630719/StableHomotopyTheory-2.pdf), 56 pages)

This introduces and then proceeds systematically via model categories. Full details and proofs are given. 

To view the web version you need the Firefox browser