Logic for Computer Scientists (Modern Birkhuser Classics)