A Refined Interpretation of Intuitionistic Logic by Means of Atomic Polymorphism

Studia Logica

Journal Article

Gilda Ferreira

Publication

Year of publication: 2020

Volume: 108

Issue: 3

Pages: 477--507

Identifiers

Locators

Alternative Titles