The number of proof lines and the size of proofs in first order logic
From MaRDI portal
(Redirected from The number of proof lines and the size of proofs in first order logic)
WARNING: Page is not linked to a MaRDI-Entity. Please add Sitelink / Wikibase-link.
