show/hide this revision's text 1 [made Community Wiki]

Well, for the record, there is also my Practical Foundations of Mathematics (CUP, 1999).