[FOM] Query: references on intuitionistic Euclidean geometry

Giovanni Sambin sambin at math.unipd.it
Thu Nov 19 09:56:17 EST 2009


Dear FOMers,
a student of mine plans to write a thesis on Euclidean geometry 
developed over intuitionistic logic. I would appreciate any reference to 
books, papers, or  any other source on this topic.
Thank you very much in advance for collaboration
Giovanni Sambin


More information about the FOM mailing list