Logic for Computer Scientists | SpringerLink