Logic for Computer Science

Sorry - no english version available