Text this: The Logical Basis for Computer Programming. Volume 2 /