The mathematicians using intuitionistic logic usually call themselves "computer scientists" or even just "programmers."
How about this: https://www.amazon.com/Conceptual-Mathematics-First-Introduc...
The mathematicians using intuitionistic logic usually call themselves "computer scientists" or even just "programmers."
How about this: https://www.amazon.com/Conceptual-Mathematics-First-Introduc...