The Russell-Prawitz embedding and the atomization of universal instantiation

Logic Journal of the IGPL

Journal Article

Gilda Ferreira

Publication

Year of publication: 2021

Identifiers

Other: WOS:000701491800006

Locators

Alternative Titles