Thesis for Logic for Computer science's students