All public logs

Jump to navigation Jump to search

Combined display of all available logs of the Logical Languages Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

Logs
  • 15:15, 3 March 2022 Jiyu8iighx talk contribs created page Talk:Modules (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...")