Title: Lectures on the Logic of Computer Programming (CBMS-NSF Regional Conference Series in Applied Mathematics) (CBMS-NSF Regional Conference Series in Applied Mathematics)
Subjects: Computer programming, Symbolic and mathematical Logic