Assertion: logic | /r/HasProperty | initiated by jean-yves girard
Facets:
Source sentences:
text: a branch of logic initiated by Jean-Yves Girard