Main public logs
From MaRDI portal
Combined display of all available logs of MaRDI portal. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 01:48, 29 October 2023 Importer talk contribs created page Modal operators and the formal dual of Birkhoffs completeness theorem This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction of Dana Scott. (Q4408806) (wbeditentity-create-item:0|)
