Jean-Louis Krivine

E2074830 UNEXPLORED

Jean-Louis Krivine is a French logician and mathematician known for his influential work in proof theory, set theory, and the foundations of mathematics.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
Jean-Louis Krivine canonical	1

Referenced by (1)

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

Jean-Yves Girard → influencedBy → Jean-Louis Krivine ⓘ