bn:02050447n
Noun Named Entity
JA
スティーブ・アウディー
EN
Steven M. Awodey is an American mathematician and logician. Wikipedia
Relations
Sources