Foundations of Intuitionistic Mathematics

E1626135 UNEXPLORED

Foundations of Intuitionistic Mathematics is a seminal work that systematically develops mathematics based on intuitionistic logic, emphasizing constructive proofs and the rejection of the law of excluded middle.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
Foundations of Intuitionistic Mathematics canonical	1

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Recursive Functions and Intuitionistic Mathematics → relatedTo → Foundations of Intuitionistic Mathematics ⓘ