Talk:Modules: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

9 March 2022

3 March 2022

  • curprev 15:1515:15, 3 March 2022Jiyu8iighx talk contribs 359 bytes +359 Created page with "Logic is another syntactic system, which has only formal semantics(proof-theoretic semantics or model-theoretic semantics — the latter lies in a meta language), how could it..."