Yet another proof of Goedel's completeness theorem for first-order classical logic

From MaRDI portal
Revision as of 08:26, 10 July 2024 by Import240710060729 (talk | contribs) (Created automatically from import240710060729)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:6215837
Powered by MediaWiki