You are about to access our book library "Use of abstraction and logic in mathematics full version" .