Logical Foundations - Carr, Brian. author. aut Link
XI, 211 p.