[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