Guy Even and Moti Medina, `` Digital Logic Design: A Rigorous Approach'', Cambridge Univ. Press, Oct. 2012 (also here).
For Guy's lectures, please go here.
@book{digirig2012,
title={Digital logic design: a rigorous approach},
author={Even, Guy and Medina, Moti},
year={2012},
publisher={Cambridge University Press}
}