You are about to access our book library "Discrete Structures, Logic, and Computability: . full version" .