My Account

Report an issue with a listing

If you are an editor, please consider logging in to identify yourself.

Current listing details

Intuitionistic Logic
Intuitionistic logic encompasses the principles of logical reasoning which were used by L. E. J. Brouwer in developing his intuitionistic mathematics, beginning in [1907]. Because these principles also underly Russian recursive analysis and the constructive analysis of E. Bishop and his followers, intuitionistic logic may be considered the logical basis of constructive mathematics. From the Stanford Encyclopedia.

Thank you for reporting an issue with one of our listings. Please select the nature of the problem:

The site is unresponsive or shows an error page
The site is hijacked, hacked, or parked
The site should not be listed
The site is listed in the wrong category.
The URL, title, and/or description need to be updated

We appreciate your assistance in keeping Curlie current. If you are suggesting changes to your site listing's title and/or description, please note that all update requests are subject to editor evaluation. We will not accept updates that attempt to market, promote or subjectively review your site. The title and description of our listings must adhere to our editing guidelines for describing sites, which we encourage you to read.