Projects top banner

Studying provability in implicational intuitionistic logic: The formula tree approach

Electronic Notes in Theoretical Computer Science

Article

L. Damas

Publication

Year of publication: 2002

Volume: 67

Pages: 131-147

Identifiers

Other: 2-s2.0-18944367341

Locators

Alternative Titles

Preprint

File