V. Shoup. A Computational Introduction to Number Theory and Algebra. An excellent source, written with cryptographic applications in mind. D. Angluin: Lecture Notes on the Complexity of Some Problems ...

Elementary number theory course at Ohio State: upper level elective, has introduction to proofs as a prerequisite, covers groups/rings/fields Switched to Elementary Number Theory by Gareth A. Jones ...