1 - Logic and algorithms : with applications to the computer and information sciencesKorfhage, Robert R.Cote : [05 KOR 66]