Verified Certificate

Supported by the following organizations

This is to certify that Yizhuo Wang successfully completed and received a passing grade in SOHS-YPHILX0002: The Semantics of First-Order Logic a course of study offered by StanfordOnline, an online learning initiative of Stanford University.

Noted by

John W. Etchemendy

John W. Etchemendy

Professor, Provost Emeritus Stanford University

David Barker-Plummer

David Barker-Plummer

Senior Research Scientist, Center for the Study of Language and Information Stanford University

  • edX
  • Verified Certificate Issued June 25, 2021
  • Valid Certificate ID 1c0ffd2e686f40a1aea9e7a9b12b3bf1

  • Please note: some online courses may draw on material from courses taught on-campus but they are not equivalent to on-campus courses. This statement does not affirm that this participant was enrolled as a student at Stanford University in any way. It does not confer a Stanford University grade, course credit or degree.

About edX

edX offers interactive online classes and MOOCs from the world’s best universities, including MIT, Harvard, Berkeley, University of Texas, and many others. edX is a mission driven initiative created by founding partners Harvard and MIT.

About edX Verified Certificates

An edX Verified Certificate signifies that the learner has agreed to abide by the edX honor code and completed all of the required tasks of this course under its guidelines, as well as having their photo ID checked to verify their identity.